search

scipopt / scip

SCIP - Solving Constraint Integer Programs
Other
393 stars 63 forks source link

SCIP-7.0.3 breaks with zimpl-3.3.6: hidden symbol `xlp_conname_exists' in CMakeFiles/scip.dir/scip/reader_zpl.c.o is referenced by DSO #4

Closed yurivict closed 2 years ago

yurivict commented 3 years ago 
/usr/local/bin/ld: ../bin/scip: hidden symbol `xlp_conname_exists' in CMakeFiles/scip.dir/scip/reader_zpl.c.o is referenced by DSO
/usr/local/bin/ld: final link failed: bad value
c++: error: linker command failed with exit code 1 (use -v to see invocation)
*** [bin/scip] Error code 1

It appears that the cause is that xlp_conname_exists is defined in both SCIP and ZIMPL projects.

OS: FreeBSD 13 clang-11

fschloesser commented 3 years ago

Hey @yurivict can you please add what your compile commands are? Are you using make or cmake? What is the linker call that fails (maybe you need to add VERBOSE=true to the call?)

leoneifler commented 3 years ago

It is intended that this method is defined in the reader_zpl.c. It is declared in xlpglue.h in ZIMPL and the definition inside ZIMPL is only when you build the ZIMPL binary, not when you build the library. As @fschloesser pointed out, it would be helpful if you could share your build setup (I see that you are using cmake but more information is needed to pinpoint the issue.

fschloesser commented 2 years ago

@yurivict did you resolve you issue or have some more information here?

yurivict commented 2 years ago

This doesn't seem to be an issue now since both FreeBSD ports are at these versions.

Thank you.