Packages dsdp, scip_sdp

[mkoeppe]

http://www.opt.tu-darmstadt.de/scipsdp/#about

https://github.com/scipopt/SCIP-SDP

used to be LGPL license, changed to Apache 2.0 in Dec 2022

For full functionality, needs an SDP solver, one of:

• DSDP - https://repology.org/project/dsdp/versions -- added here as a Sage package
• SDPA - https://repology.org/project/sdpa/versions
• MOSEK (non-free)

Depends on #31329
Depends on #34835

CC: @dimpase @vbraun

Component: packages: optional

Author: Matthias Koeppe

Branch/Commit: 544d123

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/34749

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,3 +1,3 @@
 http://www.opt.tu-darmstadt.de/scipsdp/#about
 
-LGPL license
+used to be LGPL license, changed to Apache 2.0 in Dec 2022

[mkoeppe]

Dependencies: #31329

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,3 +1,11 @@
 http://www.opt.tu-darmstadt.de/scipsdp/#about
 
+https://github.com/scipopt/SCIP-SDP
+
 used to be LGPL license, changed to Apache 2.0 in Dec 2022
+
+For full functionality, needs an SDP solver, one of:
+- DSDP 
+- SDPA
+- MOSEK (non-free)
+

[mkoeppe]

Description changed:

--- 
+++ 
@@ -5,7 +5,8 @@
 used to be LGPL license, changed to Apache 2.0 in Dec 2022
 
 For full functionality, needs an SDP solver, one of:
-- DSDP 
-- SDPA
+- DSDP - https://repology.org/project/dsdp/versions
+- SDPA - https://repology.org/project/sdpa/versions
 - MOSEK (non-free)
 
+

[mkoeppe]

Branch: u/mkoeppe/package_scip_sdp

[mkoeppe]

Commit: 8a954ab

[mkoeppe]

comment:5

First draft of the install script

[scip_sdp-4.1.0] -- Build shared libraries: ON
[scip_sdp-4.1.0] -- Found lapack library: /Library/Developer/CommandLineTools/SDKs/MacOSX12.3.sdk/usr/lib/liblapack.tbd
[scip_sdp-4.1.0] -- Found blas library: /Library/Developer/CommandLineTools/SDKs/MacOSX12.3.sdk/usr/lib/libblas.tbd

needs to be changed so it uses our openblas

[scip_sdp-4.1.0] -- Finding symmetry computation program "bliss"
[scip_sdp-4.1.0] -- Finding BLISS
[scip_sdp-4.1.0] -- Finding BLISS - found
...
[scip_sdp-4.1.0] /Users/mkoeppe/s/sage/sage-rebasing/local/var/tmp/sage/build/scip_sdp-4.1.0/src/src/symmetry/compute_symmetry_bliss.cpp:42:10: fatal error: 'bliss/defs.hh' file not found
[scip_sdp-4.1.0] #include <bliss/defs.hh>
[scip_sdp-4.1.0]          ^~~~~~~~~~~~~~~

needs to be find scip's vendored bliss (or we need to unvendor - #33010/#34747)

---

Last 10 new commits:

68fb9a7	build/pkgs/scipoptsuite/dependencies: Add papilo
2dd029e	build/pkgs/{scipoptsuite,soplex}: Use papilo
5efb7ba	build/pkgs/soplex/dependencies: Add papilo
0fc60a0	build/pkgs/scipoptsuite: Fix install_name on macOS
392455d	build/pkgs/scip: Rename from scipoptsuite
45f957e	Revert "build/pkgs/boost_cropped/distros/debian.txt: Add libboost-program-options-dev"
931e348	Merge #34726
9b40272	build/pkgs/scip/distros/conda.txt: New
6221180	Merge #31329
8a954ab	build/pkgs/scip_sdp: New

[mkoeppe]

comment:6

The failure with bliss was due to a broken local installation

[mkoeppe]

comment:7

scip_sdp should probably use https://cmake.org/cmake/help/latest/module/FindLAPACK.html, https://cmake.org/cmake/help/latest/module/FindBLAS.html

[sagetrac-git]

Changed commit from 8a954ab to 8250adb

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

8250adb

build/pkgs/scip_sdp/spkg-install.in: Better config

[mkoeppe]

comment:9

Many linker errors on macOS:

[scip_sdp-4.1.0] [100%] Linking CXX shared library ../lib/libscipsdp.dylib
[scip_sdp-4.1.0] cd /Users/mkoeppe/s/sage/sage-rebasing/local/var/tmp/sage/build/scip_sdp-4.1.0/src/build/src && /usr/local/Cellar/cmake/3.24.2/bin/cmake -E cmake_link_script CMakeFiles/libscipsdp.dir/link.txt --verbose=1
[scip_sdp-4.1.0] /Library/Developer/CommandLineTools/usr/bin/g++  -std=gnu++11 -g -O2 -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX12.3.sdk -dynamiclib -Wl,-headerpad_max_install_names -L/Users/mkoeppe/s/sage/sage-rebasing/local/lib -Wl,-rpath,/Users/mkoeppe/s/sage/sage-rebasing/local/lib -L/Users/mkoeppe/s/sage/sage-rebasing/local/lib -Wl,-rpath,/Users/mkoeppe/s/sage/sage-rebasing/local/lib -compatibility_version 4.1.0 -current_version 4.1.0 -o ../lib/libscipsdp.4.1.0.dylib -install_name libscipsdp.4.1.dylib CMakeFiles/libscipsdp.dir/scipsdp/SdpVarmapper.c.o CMakeFiles/libscipsdp.dir/scipsdp/SdpVarfixer.c.o CMakeFiles/libscipsdp.dir/scipsdp/cons_sdp.c.o CMakeFiles/libscipsdp.dir/scipsdp/cons_savedsdpsettings.c.o CMakeFiles/libscipsdp.dir/scipsdp/cons_savesdpsol.c.o CMakeFiles/libscipsdp.dir/scipsdp/relax_sdp.c.o CMakeFiles/libscipsdp.dir/scipsdp/disp_sdpiterations.c.o CMakeFiles/libscipsdp.dir/scipsdp/disp_sdpavgiterations.c.o CMakeFiles/libscipsdp.dir/scipsdp/disp_sdpfastsettings.c.o CMakeFiles/libscipsdp.dir/scipsdp/disp_sdppenalty.c.o CMakeFiles/libscipsdp.dir/scipsdp/disp_sdpunsolved.c.o CMakeFiles/libscipsdp.dir/scipsdp/prop_sdpredcost.c.o CMakeFiles/libscipsdp.dir/scipsdp/branch_sdpmostfrac.c.o CMakeFiles/libscipsdp.dir/scipsdp/branch_sdpmostinf.c.o CMakeFiles/libscipsdp.dir/scipsdp/branch_sdpobjective.c.o CMakeFiles/libscipsdp.dir/scipsdp/branch_sdpinfobjective.c.o CMakeFiles/libscipsdp.dir/scipsdp/heur_sdpfracround.c.o CMakeFiles/libscipsdp.dir/scipsdp/heur_sdpinnerlp.c.o CMakeFiles/libscipsdp.dir/scipsdp/heur_sdpfracdiving.c.o CMakeFiles/libscipsdp.dir/scipsdp/heur_sdprand.c.o CMakeFiles/libscipsdp.dir/scipsdp/prop_sdpsymmetry.c.o CMakeFiles/libscipsdp.dir/scipsdp/prop_sdpobbt.c.o CMakeFiles/libscipsdp.dir/scipsdp/prop_companalcent.c.o CMakeFiles/libscipsdp.dir/scipsdp/reader_cbf.c.o CMakeFiles/libscipsdp.dir/scipsdp/reader_sdpa.c.o CMakeFiles/libscipsdp.dir/scipsdp/sdpsymmetry.c.o CMakeFiles/libscipsdp.dir/scipsdp/table_relaxsdp.c.o CMakeFiles/libscipsdp.dir/scipsdp/table_slater.c.o CMakeFiles/libscipsdp.dir/scipsdp/scipsdpdefplugins.c.o CMakeFiles/libscipsdp.dir/sdpi/sdpi.c.o CMakeFiles/libscipsdp.dir/sdpi/sdpsolchecker.c.o CMakeFiles/libscipsdp.dir/sdpi/solveonevarsdp.c.o CMakeFiles/libscipsdp.dir/sdpi/lapack_interface.c.o CMakeFiles/libscipsdp.dir/sdpi/sdpiclock.c.o CMakeFiles/libscipsdp.dir/scipsdpgithash.c.o CMakeFiles/libscipsdp.dir/sdpi/sdpisolver_none.c.o CMakeFiles/libscipsdp.dir/symmetry/compute_symmetry_bliss.cpp.o  /Users/mkoeppe/s/sage/sage-rebasing/local/lib/libbliss.a /Library/Developer/CommandLineTools/SDKs/MacOSX12.3.sdk/usr/lib/liblapack.tbd /Library/Developer/CommandLineTools/SDKs/MacOSX12.3.sdk/usr/lib/libblas.tbd -lm 
...
scip_sdp-4.1.0]   "_SCIPverbMessage", referenced from:
[scip_sdp-4.1.0]       _consLockSdp in cons_sdp.c.o
[scip_sdp-4.1.0]       _consExitSdp in cons_sdp.c.o
[scip_sdp-4.1.0]       _consPresolSdp in cons_sdp.c.o
[scip_sdp-4.1.0]       _relaxInitSolSdp in relax_sdp.c.o
[scip_sdp-4.1.0]       _relaxExitSolSdp in relax_sdp.c.o
[scip_sdp-4.1.0]       _SCIPparamChgdSolvesdps in relax_sdp.c.o
[scip_sdp-4.1.0]       _SCIPrelaxSdpComputeAnalyticCenters in relax_sdp.c.o
[scip_sdp-4.1.0]       ...
[scip_sdp-4.1.0]   "_SCIPwarningMessage", referenced from:
[scip_sdp-4.1.0]       _calcRelax in relax_sdp.c.o
[scip_sdp-4.1.0]       _determineSymmetry in prop_sdpsymmetry.c.o
[scip_sdp-4.1.0]       _readerReadSdpa in reader_sdpa.c.o
[scip_sdp-4.1.0] ld: symbol(s) not found for architecture x86_64
[scip_sdp-4.1.0] clang: error: linker command failed with exit code 1 (use -v to see invocation)
[scip_sdp-4.1.0] make[5]: *** [lib/libscipsdp.4.1.0.dylib] Error 1

Looks like it forgets to link the scip library

[mkoeppe]

comment:10

Opened scipopt/SCIP-SDP#1

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

0a5647a

build/pkgs/scip_sdp/patches: Add macOS build patches

[sagetrac-git]

Changed commit from 8250adb to 0a5647a