Opened 5 years ago
Closed 5 years ago
#22557 closed enhancement (fixed)
Upgrade scipoptsuite to 4.0
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.0 |
Component: | packages: optional | Keywords: | lp, days84 |
Cc: | moritz | Merged in: | |
Authors: | Matthias Koeppe | Reviewers: | Moritz Firsching |
Report Upstream: | N/A | Work issues: | |
Branch: | a8b5ccf (Commits, GitHub, GitLab) | Commit: | a8b5ccf3856915631b8f391ad315347dcd60aec2 |
Dependencies: | Stopgaps: |
Description (last modified by )
This ticket upgrades scipoptsuite to version 4.0.0.
On Mac OS X, the install script works around a compiler problem with GCC 5.4.0 leading to segfaults in the testsuite of SCIP. The backtrace shows that this happens during a call to Soplex, which ultimately leads to stack_not_16_byte_aligned_error
. The exact reason is unknown, but it is unrelated to GMP, and it only occurs with SHARED=true
builds. In the previous version, this problem also existed but could be worked around by building the OPT=dbg
version instead of the OPT=opt
version. This workaround is no longer sufficient. Instead, the script uses the Apple LLVM compiler; we now use OPT=opt
.
Upstream archive: http://scip.zib.de/download.php?fname=scipoptsuite-4.0.0.tgz (DO NOT put on sage servers -- we cannot redistribute this archive)
Change History (24)
comment:1 Changed 5 years ago by
- Description modified (diff)
comment:2 Changed 5 years ago by
- Branch set to u/mkoeppe/upgrade_scipopt_to_4_0
comment:3 Changed 5 years ago by
- Commit set to 68cd0e153c5f5aa9ab4aa3e43327d54895ad7477
- Keywords days84 added
- Status changed from new to needs_review
comment:4 Changed 5 years ago by
- Commit changed from 68cd0e153c5f5aa9ab4aa3e43327d54895ad7477 to 417f03626e2641be2031a2bf3ed91ee6d6d5decb
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
417f036 | Update patches and script for 4.0.0
|
comment:5 Changed 5 years ago by
I tried to install this package, but got this error:
h,/home/mo/sage/local/lib -lz -lgmp -lreadline -lncurses -o bin/scip-4.0.0.linux.x86_64.gnu.dbg.spx2.none \ || (make errorhints && false) lib/shared/liblpispx2-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_vptr_type_cache' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_divrem_overflow' lib/shared/liblpispx2-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_load_invalid_value' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_mul_overflow' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_shift_out_of_bounds' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `SCIPtpiCollectJobs' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `SCIPtpiExit' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_sub_overflow' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_float_cast_overflow' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_type_mismatch' lib/shared/liblpispx2-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_dynamic_type_cache_miss' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `SCIPtpiCreateJob' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `SCIPtpiSumbitJob' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_out_of_bounds' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_nonnull_arg' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `SCIPtpiInit' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_negate_overflow' lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so: undefined reference to `__ubsan_handle_add_overflow' collect2: error: ld returned 1 exit status make[4]: Entering directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0' build failed with READLINE=true: if readline is not available, try building with READLINE=false build failed with ZLIB=true: if ZLIB is not available, try building with ZLIB=false build failed with GMP=true: if GMP is not available, try building with GMP=false (note that this will deactivate Zimpl support) make[4]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0' Makefile:1093: recipe for target 'bin/scip-4.0.0.linux.x86_64.gnu.dbg.spx2.none' failed make[3]: [bin/scip-4.0.0.linux.x86_64.gnu.dbg.spx2.none] Error 1 (ignored) cd bin/ && ln -s scip-4.0.0.linux.x86_64.gnu.dbg.spx2.none scip.linux.x86_64.gnu.dbg.spx2.none cd bin/ && ln -s scip-4.0.0.linux.x86_64.gnu.dbg.spx2.none scip make[3]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0' -> install SCIP binary into INSTALLDIR </home/mo/sage/local> install: cannot stat 'bin/scip-4.0.0.linux.x86_64.gnu.dbg.spx2.none': No such file or directory make/make.install:70: recipe for target 'installbinary' failed make[2]: [installbinary] Error 1 (ignored) make[2]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0' 'libscipopt.so' -> 'libscip.so' Checking that SCIP starts ./spkg-install: line 167: /home/mo/sage/local/bin/scip: No such file or directory SCIP build completed but the scip executable does not work. real 21m38.205s user 20m0.144s sys 0m31.668s ************************************************************************ Error installing package scipoptsuite-4.0.0 ************************************************************************
I merged your patch with the current sage version 7.6.rc0. (I hope thats not causing the problem)
I am able to compile scip-4.0.0 without using ./sage -i, however, when running "make scipoptlib" I get the following error concerning zimpl. running "make test" produces no error and the scip binary seems to work fine.
Im running a recent install of debian sid.
** Build complete. ** Find your SCIP binary in "/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0/bin". ** Enter "make test" to solve a number of easy instances in order to verify that SCIP runs correctly. make[2]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src' make[1]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src' make[1]: Entering directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src' ar: /home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/zimpl-3.3.4/obj/O.linux.x86_64.gnu.shared.opt/blkmem.o: No such file or directory Makefile.doit:238: recipe for target 'scipoptlib' failed make[1]: *** [scipoptlib] Error 1 make[1]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src' Makefile:95: recipe for target 'scipoptlib' failed make: *** [scipoptlib] Error 2
comment:6 Changed 5 years ago by
OK, looks like I need to change something in my script for Linux. So far I have only tested on Mac OS X.
The "scipoptlib" problem is something to report to upstream.
comment:7 Changed 5 years ago by
- Status changed from needs_review to needs_work
I reported the "scipoptlib" problem (after unsuccessful debugging)
comment:8 Changed 5 years ago by
- Commit changed from 417f03626e2641be2031a2bf3ed91ee6d6d5decb to 6cc2bd7cf8ea9f1f2302af20c61826aa22049a19
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
6cc2bd7 | Update patches and script for 4.0.0
|
comment:9 Changed 5 years ago by
I am still having trouble installing with this patch, but it seems to go further.
[scipoptsuite-4.0.0] g++ -L/home/mo/sage/local/lib -Wl,-rpath,/home/mo/sage/local/lib -shared -Wl,-soname=/home/mo/sage/local/lib/libsoplex-3.0.0.linux.x86_64.gnu.dbg.so -Wl,-soname=/home/mo/sage/local/lib/libscip-4.0.0.linux.x86_64.gnu.dbg.so -Wl,-rpath,/home/mo/sage/local/lib -lgmp -lz -lreadline -o lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_allfullstrong.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_cloud.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_distribution.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_fullstrong.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_inference.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_leastinf.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_mostinf.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_multaggr.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_nodereopt.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_pscost.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_random.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch_relpscost.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_abspower.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/compr_largestrepr.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/compr_weakcompr.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/concsolver_scip.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_and.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_bivariate.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_bounddisjunction.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_cardinality.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_conjunction.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_countsols.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_cumulative.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_disjunction.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_indicator.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_integral.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_knapsack.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_linear.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_linking.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_logicor.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_nonlinear.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_or.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_orbitope.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_pseudoboolean.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_quadratic.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_setppc.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_soc.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_sos1.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_sos2.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_superindicator.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_varbound.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_xor.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons_components.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/dialog_default.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/event_softtimelimit.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/disp_default.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/event_solvingphase.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_sync.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/event_globalbnd.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_sync.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_actconsdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_bound.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_clique.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_coefdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_completesol.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_crossover.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_dins.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_distributiondiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_dualval.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_feaspump.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_fixandinfer.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_fracdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_gins.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_guideddiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_indicator.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_intdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_intshifting.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_linesearchdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_localbranching.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_lpface.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_locks.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_mutation.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_multistart.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_nlpdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_objpscostdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_octane.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_ofins.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_oneopt.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_proximity.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_pscostdiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_reoptsols.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_repair.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_randrounding.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_rens.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_rins.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_rootsoldiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_rounding.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_shiftandpropagate.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_shifting.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_simplerounding.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_subnlp.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_trivial.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_trivialnegation.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_trysol.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_twoopt.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_undercover.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_vbounds.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_veclendiving.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_zeroobj.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur_zirounding.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/message_default.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel_bfs.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel_breadthfirst.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel_dfs.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel_estimate.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel_hybridestim.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel_restartdfs.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel_uct.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_boundshift.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_convertinttobin.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_domcol.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_dualagg.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_dualcomp.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_dualinfer.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_gateextraction.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_implfree.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_implics.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_inttobinary.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_qpkktref.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_redvub.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_trivial.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_tworowbnd.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol_stuffing.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_dualfix.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_genvbounds.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_nlobbt.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_obbt.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_probing.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_pseudoobj.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_redcost.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_rootredcost.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop_vbounds.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_bnd.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_ccg.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_cip.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_cnf.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_diff.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_fix.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_fzn.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_gms.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_lp.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_mps.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_mst.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_opb.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_osil.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_pip.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_pbm.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_ppm.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_rlp.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_sol.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_wbo.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader_zpl.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_cgmip.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_clique.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_closecuts.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_cmir.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_convexproj.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_disjunctive.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_eccuts.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_flowcover.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_gauge.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_gomory.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_impliedbounds.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_intobj.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_mcf.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_oddcycle.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_rapidlearning.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_strongcg.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa_zerohalf.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/boundstore.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/branch.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/clock.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/concsolver.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/concurrent.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/conflict.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/conflictstore.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cons.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cutpool.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/cuts.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/debug.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/dialog.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/disp.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/event.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/fileio.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heur.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/heuristics.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/compr.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/history.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/implics.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/interrupt.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/intervalarith.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/lp.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/matrix.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/mem.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/misc.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nlp.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/nodesel.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/paramset.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presol.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/presolve.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/pricestore.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/pricer.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/primal.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prob.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/prop.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reader.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/relax.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/reopt.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/retcode.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/scip.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/scipbuildflags.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/scipdefplugins.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/scipgithash.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/scipshell.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepa.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sepastore.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/set.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/sol.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/solve.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/stat.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/syncstore.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/tree.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/var.o obj/shared/O.linux.x86_64.gnu.dbg/lib/scip/visual.o obj/shared/O.linux.x86_64.gnu.dbg/lib/tclique/tclique_branch.o obj/shared/O.linux.x86_64.gnu.dbg/lib/tclique/tclique_coloring.o obj/shared/O.linux.x86_64.gnu.dbg/lib/tclique/tclique_graph.o obj/shared/O.linux.x86_64.gnu.dbg/lib/dijkstra/dijkstra.o obj/shared/O.linux.x86_64.gnu.dbg/lib/xml/xmlparse.o -Llib/shared -lz -lgmp -Wl,-rpath,/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0/lib/shared lib/shared/liblpispx2-4.0.0.linux.x86_64.gnu.dbg.so lib/shared/libnlpi.cppad-4.0.0.linux.x86_64.gnu.dbg.so lib/shared/libtpinone-4.0.0.linux.x86_64.gnu.dbg.so [scipoptsuite-4.0.0] g++: error: lib/shared/libtpinone-4.0.0.linux.x86_64.gnu.dbg.so: No such file or directory [scipoptsuite-4.0.0] Makefile:1110: recipe for target 'lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so' failed [scipoptsuite-4.0.0] make[3]: *** [lib/shared/libscip-4.0.0.linux.x86_64.gnu.dbg.so] Error 1 [scipoptsuite-4.0.0] make[3]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0' [scipoptsuite-4.0.0] Makefile:1107: recipe for target 'libscip' failed [scipoptsuite-4.0.0] make[2]: *** [libscip] Error 2 [scipoptsuite-4.0.0] make[2]: Leaving directory '/home/mo/sage/local/var/tmp/sage/build/scipoptsuite-4.0.0/src/scip-4.0.0' [scipoptsuite-4.0.0] Error building/installing SCIP. [scipoptsuite-4.0.0] [scipoptsuite-4.0.0] real 0m17.973s [scipoptsuite-4.0.0] user 0m7.136s [scipoptsuite-4.0.0] sys 0m2.576s [scipoptsuite-4.0.0] ************************************************************************ [scipoptsuite-4.0.0] Error installing package scipoptsuite-4.0.0 [scipoptsuite-4.0.0] ************************************************************************
comment:10 Changed 5 years ago by
- Commit changed from 6cc2bd7cf8ea9f1f2302af20c61826aa22049a19 to 3be8be56da99a2c959fb166be1d89c6a6bd3d800
Branch pushed to git repo; I updated commit sha1. New commits:
3be8be5 | Use OPT=opt on Linux. Check results of test suite
|
comment:11 Changed 5 years ago by
This version now works on my Linux VM and passes the test suite (sage -f -c scipoptsuite
).
On Mac OS X, a few tests end with segfaults.
comment:12 Changed 5 years ago by
The segfaults on Mac OS X go away if one builds with clang instead of the Sage gcc 5.4 (even with OPT=opt
). Need to add -DTHREADLOCAL=
to CFLAGS
/CXXFLAGS
though.
comment:13 Changed 5 years ago by
- Commit changed from 3be8be56da99a2c959fb166be1d89c6a6bd3d800 to 8ba0287e850b064400ed4d44f743e3bb0db9ab60
comment:14 Changed 5 years ago by
- Commit changed from 8ba0287e850b064400ed4d44f743e3bb0db9ab60 to 0f376581d42e4b299e8d6acdf6ec45fce5fbfb96
comment:15 Changed 5 years ago by
- Description modified (diff)
- Milestone changed from sage-7.6 to sage-8.0
- Status changed from needs_work to needs_review
- Summary changed from Upgrade scipopt to 4.0 to Upgrade scipoptsuite to 4.0
comment:16 follow-up: ↓ 17 Changed 5 years ago by
I still get an error very similar the one in comment:9:
[scipoptsuite-4.0.0] g++: error: lib/shared/libtpinone-4.0.0.linux.x86_64.gnu.opt.so: No such file or directory
btw: I reported the scipoptlib-error and immediately got a reply with a fix:
in scipoptsuite-4.0.0/Makefile.doit
replace
SCIPOPTOBJFILES += $(addprefix $(ZIMPLDIR)/obj/O.$(OSTYPE).$(ARCH).$(COMP).shared.$(ZIMPLOPT)/,$(ZIMPLOBJECTS))
by
SCIPOPTOBJFILES += $(addprefix $(ZIMPLDIR)/objO.$(OSTYPE).$(ARCH).$(COMP).$(LIBTYPE).$(ZIMPLOPT)/,$(ZIMPLOBJECTS))
They said they will fix it soon in the file for download.
comment:17 in reply to: ↑ 16 Changed 5 years ago by
comment:18 Changed 5 years ago by
- Commit changed from 0f376581d42e4b299e8d6acdf6ec45fce5fbfb96 to e7fb756a5fc4836481d843a1bed49ae514cb1e15
Branch pushed to git repo; I updated commit sha1. New commits:
e7fb756 | Update patch to get libtpinone makefile dependency right
|
comment:19 Changed 5 years ago by
- Commit changed from e7fb756a5fc4836481d843a1bed49ae514cb1e15 to a8b5ccf3856915631b8f391ad315347dcd60aec2
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
a8b5ccf | Update patch to get libtpinone makefile dependency right
|
comment:20 Changed 5 years ago by
Or try with this fix (I think I've found the problem).
comment:21 Changed 5 years ago by
- Status changed from needs_review to positive_review
It works now! All tests passed!
(I set it on positive review, although I have not tested on a mac)
Maybe it would be a good idea to explain in the description of the ticket, where to put the file scipoptsuite-4.0.0.tgz
. (In the upstream
- directory) and how to install it.
A more autmatic way to download would be to
wget -O scipoptsuite-4.0.0.tgz --post-data="license=academic" scip.zib.de/download.php?fname=scipoptsuite-4.0.0.tgz
(Notice that you agree to the academic license when you download this way; I am not sure that this is how it was intended to use their website)
comment:22 Changed 5 years ago by
Thanks for the positive review.
The SPKG.txt
explains where to get the upstream archive.
We had a discussion in the past, and decided that it should not be automated. Users should manually download the archive so that they are fully aware of the license.
comment:23 Changed 5 years ago by
- Reviewers set to Moritz Firsching
comment:24 Changed 5 years ago by
- Branch changed from u/mkoeppe/upgrade_scipopt_to_4_0 to a8b5ccf3856915631b8f391ad315347dcd60aec2
- Resolution set to fixed
- Status changed from positive_review to closed
New commits:
Update patches and script for 4.0.0