[SCIP] problems with installing SCIP on macOS
Stefan Vigerske
svigerske at gams.com
Sun Feb 23 12:45:32 CET 2025
Hi,
ZIMPL isn't part of SCIP, so installing SCIP wouldn't install a ZIMPL
library anywhere.
It looks like you have an incomplete ZIMPL installation in /usr/local,
because /usr/local/lib/cmake/zimpl/zimpl-targets.cmake seems to be
there, but /usr/local/lib/libzimpl.a is missing. Then the detection of
ZIMPL fails.
I suggest either removing /usr/local/lib/cmake/zimpl, adding -DZIMPL=off
to SCIP's cmake call, or fixing your ZIMPL installation (well, if there
is an issue with the install of a ZIMPL when build via cmake, then I
guess we'll hear back from you here soon).
Best,
Stefan
On 23/02/2025 12:24, Antonio Frangioni wrote:
> 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!
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
More information about the Scip
mailing list