[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