[SCIP] problems with installing SCIP on macOS

Antonio Frangioni antonio.frangioni at unipi.it
Sun Feb 23 12:24:27 CET 2025


Greetings.

As users of SCIP in the SMS++ framework we rely on the following commands to install SCIP as a dependency. These live in a script

https://gitlab.com/smspp/smspp-project/-/blob/develop/INSTALL.sh?ref_type=heads#L433

but I'm giving you the command line sequence:

cd /Users/frangio/Codes/tmp
curl -O "https://www.scipopt.org/download/release/scip-9.2.0.tgz"
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100 9842k  100 9842k    0     0  8714k      0  0:00:01  0:00:01 --:--:-- 8718k
tar xzf "scip-9.2.0.tgz"               
mv ./"scip-9.2.0" scip                       
cd scip
cmake -S . -B build -DCMAKE_INSTALL_PREFIX=/Users/frangio/Codes/tmp/scip -DAUTOBUILD=ON

These have worked well before on macOS, but now (Sequoia 15.3.1 on a M4) we get the error that you see at the bottom of the e-mail. Save for a few warnings, the issue seems to be that it looks to

"/usr/local/lib/libzimpl.a"

that would be there if SCIP were installed at a default location, but it is not because we install it in a different place.

The installation then ends with an incomplete system which breaks our own install script. What can we do to solve the issue?

	Thank you in advance 

	Antonio Frangioni

Prof. Antonio Frangioni - Dipartimento di Informatica, Università di Pisa
Largo B. Pontecorvo 3, 56127 Pisa - Italy   -    www.di.unipi.it/~frangio

- - - - - - - - -

CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required):
  Compatibility with CMake < 3.10 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
  to tell CMake that the project requires at least <min> but has been updated
  to work with policies introduced by <max> or earlier.


-- The CXX compiler identification is AppleClang 16.0.0.16000026
-- The C compiler identification is AppleClang 16.0.0.16000026
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Build shared libraries: ON
-- Build type: Release
CMake Warning at CMakeLists.txt:113 (message):
  You are using the automatic build option AUTOBUILD=ON to find and use
  dependencies automatically.


-- Finding symmetry computation program "snauty"
-- Support SYM: sassy+nauty
-- Finding ZLIB
-- Found ZLIB: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.2.sdk/usr/lib/libz.tbd (found version "1.2.12")
-- Finding ZLIB - found
-- Finding Readline
-- Found Readline: /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.2.sdk/usr/include
-- Finding Readline - found
-- Finding GMP
-- Found GMP: /opt/homebrew/include
-- Finding GMP - found
-- Finding PAPILO
-- Could NOT find PAPILO (missing: PAPILO_DIR)
-- Support PAPILO: OFF
-- Finding Solver "spx"
-- Finding Soplex
-- Could NOT find SOPLEX (missing: SOPLEX_DIR)
-- Could NOT find SOPLEX (missing: SOPLEX_DIR)
-- Downloading SOPLEX
CMake Warning (dev) at /opt/homebrew/share/cmake/Modules/FetchContent.cmake:1373 (message):
  The DOWNLOAD_EXTRACT_TIMESTAMP option was not given and policy CMP0135 is
  not set.  The policy's OLD behavior will be used.  When using a URL
  download, the timestamps of extracted files should preferably be that of
  the time of extraction, otherwise code that depends on the extracted
  contents might not be rebuilt if the URL changes.  The OLD behavior
  preserves the timestamps from the archive instead, but this is usually not
  what you want.  Update your project to the NEW behavior or specify the
  DOWNLOAD_EXTRACT_TIMESTAMP option with a value of true to avoid this
  robustness issue.
Call Stack (most recent call first):
  cmake/Dependencies.cmake:75 (FetchContent_Declare)
  CMakeLists.txt:422 (find_or_download_package)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Downloading SOPLEX
CMake Warning (dev) at /opt/homebrew/share/cmake/Modules/FetchContent.cmake:1953 (message):
  Calling FetchContent_Populate(SOPLEX) is deprecated, call
  FetchContent_MakeAvailable(SOPLEX) instead.  Policy CMP0169 can be set to
  OLD to allow FetchContent_Populate(SOPLEX) to be called directly for now,
  but the ability to call it with declared details will be removed completely
  in a future version.
Call Stack (most recent call first):
  cmake/Dependencies.cmake:83 (FetchContent_Populate)
  CMakeLists.txt:422 (find_or_download_package)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Building SOPLEX
CMake Warning (dev) at build/_deps/local/lib/cmake/soplex/soplex-config.cmake:11 (find_package):
  Policy CMP0167 is not set: The FindBoost module is removed.  Run "cmake
  --help-policy CMP0167" for policy details.  Use the cmake_policy command to
  set the policy and suppress this warning.

Call Stack (most recent call first):
  cmake/Dependencies.cmake:99 (find_package)
  CMakeLists.txt:422 (find_or_download_package)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Found Boost: /opt/homebrew/lib/cmake/Boost-1.87.0/BoostConfig.cmake (found suitable version "1.87.0", minimum required is "1.65.0")
CMake Warning (dev) at build/_deps/local/lib/cmake/soplex/soplex-config.cmake:11 (find_package):
  Policy CMP0167 is not set: The FindBoost module is removed.  Run "cmake
  --help-policy CMP0167" for policy details.  Use the cmake_policy command to
  set the policy and suppress this warning.

Call Stack (most recent call first):
  CMakeLists.txt:428 (find_package)
This warning is for project developers.  Use -Wno-dev to suppress it.

-- Finding SOPLEX - found
-- Support CLP: OFF
-- Support CPLEX: OFF
-- Support GLOP: OFF
-- Support GUROBI: OFF
-- Support XPRESS: OFF
-- Support MOSEK: OFF
-- Support QSO: OFF
-- CodeCoverage: OFF
-- Finding ZIMPL
CMake Error at /usr/local/lib/cmake/zimpl/zimpl-targets.cmake:99 (message):
  The imported target "libzimpl" references the file

     "/usr/local/lib/libzimpl.a"

  but this file does not exist.  Possible reasons include:

  * The file was deleted, renamed, or moved to another location.

  * An install or uninstall procedure did not complete successfully.

  * The installation package was faulty and contained

     "/usr/local/lib/cmake/zimpl/zimpl-targets.cmake"

  but not all the files it references.

Call Stack (most recent call first):
  /usr/local/lib/cmake/zimpl/zimpl-config.cmake:2 (include)
  CMakeLists.txt:637 (find_package)


-- Configuring incomplete, errors occurred!




More information about the Scip mailing list