dreal3 icon indicating copy to clipboard operation
dreal3 copied to clipboard

pick up pre-installed dependencies if exist

Open soonho-tri opened this issue 8 years ago • 3 comments

  • [ ] need to write Find<PKG_NAME>.cmake for each dep
  • Current deps: adept, easyloggingpp, ezoptionparser, ibex, json, nlopt, picosat, glpk, capd4

soonho-tri avatar Aug 09 '16 15:08 soonho-tri

This one is related to adding dReal to drake. In the process, we can make sure that dReal can be plugged into another project.

soonho-tri avatar Aug 09 '16 15:08 soonho-tri

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 avatar Sep 26 '16 15:09 jamiesnape

@jamiesnape, thanks!

soonho-tri avatar Sep 26 '16 16:09 soonho-tri