dreal/dreal3

clp build issue

Closed this issue · 4 comments

soonho-tri commented

Install CLP

  • Ubuntu : sudo apt-get install coinor-libclp-dev
  • OSX : brew install coin-or-tools/coinor/clp

FindCLP.cmake

Need to check:

  • IBEX picks up system-CLP
    • Ubuntu
    • OSX
  • set --without-lp in configuring IBEX if CLP is not found
soonho-tri commented

It turns out that coinor-libclp-dev in Ubuntu 12.04 is an out-dated version (1.12.0-2.1) and IBEX requires a newer version. I checked that Ubuntu-14.04 provides version 1.15.5 and it worked fine with IBEX.

I think it's time to drop Ubuntu-12.04 support and move on to Ubuntu-14.04 (and Ubuntu-16).

soonho-tri commented

FYI, we used to build a clp-1.16.7 via ExternalProject_Add.

soonho-tri commented

TODO

  • suppress deprecated-register warning from CLP source
  • add USE_LP variable from CLP_FOUND
soonho-tri commented
  • update PPA to include coinor-libclp-dev dependency
  • update homebrew to include coin-or-tools/coinor/clp dependency