Closed jmirabel closed 5 years ago
I propose to use robotpkg to install roboptim from binaries. I think there are no good reason to install them from sources. Compilation from source increases the overall compilation time.
@nim65s Can this be closed ?
It will be closed automatically when devel will be merged into master, but if you want to close it now it is also possible
I propose to use robotpkg to install roboptim from binaries. I think there are no good reason to install them from sources. Compilation from source increases the overall compilation time.