dreal3 icon indicating copy to clipboard operation
dreal3 copied to clipboard

Please allow the use of packages for all dependencies

Open yurivict opened this issue 6 years ago • 0 comments

Currently, you have USE_LOCAL_THIRD_PARTY that uses local zip vs. the github copy. There are packages available at least for adept, clp, catch, easyloggingpp, json, picosat. The packages should be preferred.

Please add the cmake option USE_EXTERNAL_LIBRARIES that would look for pre-installed packages.

yurivict avatar Apr 03 '18 22:04 yurivict