dreal3
dreal3 copied to clipboard
pick up pre-installed dependencies if exist
- [ ] need to write
Find<PKG_NAME>.cmake
for each dep - Current deps: adept, easyloggingpp, ezoptionparser, ibex, json, nlopt, picosat, glpk, capd4
This one is related to adding dReal to drake. In the process, we can make sure that dReal can be plugged into another project.
You can use find_package
for the latest masters of json
and nlopt
without writing a find-package file. For any CMake-based projects, I would try to upstream a *-config.cmake
file.
@jamiesnape, thanks!