Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
makefile: decompose deps installation
Since it will be more convenient to see CI jobs making its own work, the installation of rocks was rewriten to install rocks only for one task.
- Loading branch information