search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
275 stars 76 forks source link

6.2.0: test suite is failing because it cannot find `libgecodegist.so.49` #152

Closed kloczek closed 2 years ago

kloczek commented 2 years ago

Looks like something is wrong with test suite:

```console + cd gecode-release-6.2.0 + /usr/bin/make -O -j48 V=1 VERBOSE=1 check make[1]: 'gecode/kernel/var-type.hpp' is up to date. make[1]: 'gecode/kernel/var-imp.hpp' is up to date. make[1]: Entering directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' /usr/bin/g++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++11 -fPIC -pthread -DNDEBUG -O2 -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fdata-sections -ffunction-sections -flto=auto -flto-partition=none \ -c -o test/int/basic.o test/int/basic.cpp make[1]: Leaving directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' make[1]: Entering directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' /usr/bin/g++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++11 -fPIC -pthread -DNDEBUG -O2 -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fdata-sections -ffunction-sections -flto=auto -flto-partition=none \ -c -o test/int/sorted.o test/int/sorted.cpp make[1]: Leaving directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' make[1]: Entering directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' /usr/bin/g++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++11 -fPIC -pthread -DNDEBUG -O2 -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fdata-sections -ffunction-sections -flto=auto -flto-partition=none \ -c -o test/int/precede.o test/int/precede.cpp make[1]: Leaving directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' make[1]: Entering directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' /usr/bin/g++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++11 -fPIC -pthread -DNDEBUG -O2 -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fdata-sections -ffunction-sections -flto=auto -flto-partition=none \ -c -o test/set/construct.o test/set/construct.cpp make[1]: Leaving directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' [..] make[1]: Leaving directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' make[1]: Entering directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' /usr/bin/g++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++11 -fPIC -pthread -DNDEBUG -O2 -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fdata-sections -ffunction-sections -flto=auto -flto-partition=none \ -c -o test/ldsb.o test/ldsb.cpp make[1]: Leaving directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' make[1]: Entering directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' /usr/bin/g++ -o test/test test/int.o test/int/channel.o test/int/arithmetic.o test/int/basic.o test/int/bool.o test/int/count.o test/int/dom.o test/int/distinct.o test/int/element.o test/int/extensional.o test/int/rel.o test/int/linear.o test/int/gcc.o test/int/sorted.o test/int/unshare.o test/int/exec.o test/int/sequence.o test/int/mm-arithmetic.o test/int/mm-bool.o test/int/mm-lin.o test/int/mm-count.o test/int/mm-rel.o test/int/bin-packing.o test/int/order.o test/int/unary.o test/int/cumulative.o test/int/cumulatives.o test/int/circuit.o test/int/no-overlap.o test/int/precede.o test/int/nvalues.o test/int/member.o test/set.o test/set/construct.o test/set/dom.o test/set/rel.o test/set/rel-op.o test/set/rel-op-const.o test/set/convex.o test/set/sequence.o test/set/int.o test/set/element.o test/set/precede.o test/set/distinct.o test/set/exec.o test/set/mm-set.o test/set/channel.o test/float.o test/float/basic.o test/float/arithmetic.o test/float/transcendental.o test/float/trigonometric.o test/float/linear.o test/float/rel.o test/float/channel.o test/float/mm-lin.o test/float/dom.o test/flatzinc.o test/flatzinc/bool_clause.o test/flatzinc/bug232.o test/flatzinc/bug319.o test/flatzinc/bugfix_r6746.o test/flatzinc/bugfix_r7854.o test/flatzinc/empty_domain_1.o test/flatzinc/empty_domain_2.o test/flatzinc/int_set_as_type1.o test/flatzinc/int_set_as_type2.o test/flatzinc/jobshop.o test/flatzinc/no_warn_empty_domain.o test/flatzinc/output_test.o test/flatzinc/queens4.o test/flatzinc/sat_arith1.o test/flatzinc/sat_array_bool_and.o test/flatzinc/sat_array_bool_or.o test/flatzinc/sat_cmp_reif.o test/flatzinc/sat_eq_reif.o test/flatzinc/test_approx_bnb.o test/flatzinc/test_array_just_right.o test/flatzinc/test_assigned_var_bounds_bad.o test/flatzinc/test_flatzinc_output_anns.o test/flatzinc/test_fzn_arith.o test/flatzinc/test_fzn_arrays.o test/flatzinc/test_fzn_coercions.o test/flatzinc/test_fzn_comparison.o test/flatzinc/test_fzn_logic.o test/flatzinc/test_fzn_sets.o test/flatzinc/test_int_div.o test/flatzinc/test_int_mod.o test/flatzinc/test_int_ranges_as_values.o test/flatzinc/test_seq_search.o test/flatzinc/2dpacking.o test/flatzinc/alpha.o test/flatzinc/battleships1.o test/flatzinc/battleships10.o test/flatzinc/battleships2.o test/flatzinc/battleships3.o test/flatzinc/battleships4.o test/flatzinc/battleships5.o test/flatzinc/battleships7.o test/flatzinc/battleships9.o test/flatzinc/blocksworld_instance_1.o test/flatzinc/blocksworld_instance_2.o test/flatzinc/cumulatives.o test/flatzinc/cutstock.o test/flatzinc/eq20.o test/flatzinc/factory_planning_instance.o test/flatzinc/golomb.o test/flatzinc/jobshop2x2.o test/flatzinc/knights.o test/flatzinc/langford2.o test/flatzinc/latin_squares_fd.o test/flatzinc/multidim_knapsack_simple.o test/flatzinc/packing.o test/flatzinc/perfsq.o test/flatzinc/perfsq2.o test/flatzinc/photo.o test/flatzinc/product_fd.o test/flatzinc/product_lp.o test/flatzinc/quasigroup_qg5.o test/flatzinc/queen_cp2.o test/flatzinc/queen_ip.o test/flatzinc/radiation.o test/flatzinc/shared_array_element.o test/flatzinc/simple_sat.o test/flatzinc/singHoist2.o test/flatzinc/sudoku.o test/flatzinc/template_design.o test/flatzinc/tenpenki_1.o test/flatzinc/tenpenki_2.o test/flatzinc/tenpenki_3.o test/flatzinc/tenpenki_4.o test/flatzinc/tenpenki_5.o test/flatzinc/tenpenki_6.o test/flatzinc/warehouses.o test/flatzinc/warehouses_small.o test/flatzinc/wolf_goat_cabbage.o test/flatzinc/zebra.o test/flatzinc/magicsq_3.o test/flatzinc/magicsq_4.o test/flatzinc/magicsq_5.o test/flatzinc/oss.o test/flatzinc/steiner_triples.o test/flatzinc/timetabling.o test/flatzinc/trucking.o test/branch.o test/branch/int.o test/branch/bool.o test/branch/set.o test/branch/float.o test/assign.o test/assign/int.o test/assign/bool.o test/assign/set.o test/assign/float.o test/search.o test/nogoods.o test/array.o test/test.o test/afc.o test/ldsb.o test/region.o -L. -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++11 -fPIC -pthread -DNDEBUG -O2 -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fdata-sections -ffunction-sections -flto=auto -flto-partition=none \ -lgecodeflatzinc -lgecodedriver -lgecodegist -lgecodesearch -lgecodeminimodel -lgecodeset -lgecodefloat -lgecodeint -lgecodekernel -lgecodesupport /usr/lib64/libQt5PrintSupport.so /usr/lib64/libQt5Widgets.so /usr/lib64/libQt5Gui.so /usr/lib64/libQt5Core.so -lGL -lpthread In member function 'free', inlined from 'rfree' at ./gecode/support/heap.hpp:377:0, inlined from 'free' at ./gecode/support/heap.hpp:460:0, inlined from 'free' at ./gecode/support/heap.hpp:477:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:1588:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:774:0, inlined from '__dt_base ' at ./gecode/int.hh:656:0, inlined from '__ct ' at ./gecode/minimodel/matrix.hpp:52:0, inlined from 'slice' at ./gecode/minimodel/matrix.hpp:172:0, inlined from 'row' at ./gecode/minimodel/matrix.hpp:178:0, inlined from 'setup' at test/ldsb.cpp:728:0: ./gecode/support/allocator.hpp:88: warning: 'free' called on unallocated object '' [-Wfree-nonheap-object] 88 | ::free(p); | ./gecode/minimodel/matrix.hpp: In function 'setup': ./gecode/minimodel/matrix.hpp:52: note: declared here 52 | _r = ArgsType((tc-fc)*(tr-fr)); | In member function 'free', inlined from 'rfree' at ./gecode/support/heap.hpp:377:0, inlined from 'free' at ./gecode/support/heap.hpp:460:0, inlined from 'free' at ./gecode/support/heap.hpp:477:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:1588:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:774:0, inlined from '__dt_base ' at ./gecode/int.hh:656:0, inlined from '__ct ' at ./gecode/minimodel/matrix.hpp:52:0, inlined from 'slice' at ./gecode/minimodel/matrix.hpp:172:0, inlined from 'col' at ./gecode/minimodel/matrix.hpp:184:0, inlined from '__ct_base .constprop' at test/ldsb.cpp:1146:0: ./gecode/support/allocator.hpp:88: warning: 'free' called on unallocated object '' [-Wfree-nonheap-object] 88 | ::free(p); | ./gecode/minimodel/matrix.hpp: In member function '__ct_base .constprop': ./gecode/minimodel/matrix.hpp:52: note: declared here 52 | _r = ArgsType((tc-fc)*(tr-fr)); | In member function 'free', inlined from 'rfree' at ./gecode/support/heap.hpp:377:0, inlined from 'free' at ./gecode/support/heap.hpp:460:0, inlined from 'free' at ./gecode/support/heap.hpp:477:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:1588:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:774:0, inlined from '__dt_base ' at ./gecode/int.hh:656:0, inlined from '__ct ' at ./gecode/minimodel/matrix.hpp:52:0, inlined from 'slice' at ./gecode/minimodel/matrix.hpp:172:0, inlined from 'row' at ./gecode/minimodel/matrix.hpp:178:0, inlined from '__ct_base .constprop' at test/ldsb.cpp:1147:0: ./gecode/support/allocator.hpp:88: warning: 'free' called on unallocated object '' [-Wfree-nonheap-object] 88 | ::free(p); | ./gecode/minimodel/matrix.hpp: In member function '__ct_base .constprop': ./gecode/minimodel/matrix.hpp:52: note: declared here 52 | _r = ArgsType((tc-fc)*(tr-fr)); | In member function 'free', inlined from 'rfree' at ./gecode/support/heap.hpp:377:0, inlined from 'free' at ./gecode/support/heap.hpp:460:0, inlined from 'free' at ./gecode/support/heap.hpp:477:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:1588:0, inlined from '__dt_base ' at ./gecode/kernel/data/array.hpp:774:0, inlined from '__dt_base ' at ./gecode/int.hh:656:0, inlined from '__ct ' at ./gecode/minimodel/matrix.hpp:52:0, inlined from 'slice' at ./gecode/minimodel/matrix.hpp:172:0, inlined from 'row' at ./gecode/minimodel/matrix.hpp:178:0, inlined from 'setup' at test/ldsb.cpp:669:0: ./gecode/support/allocator.hpp:88: warning: 'free' called on unallocated object '' [-Wfree-nonheap-object] 88 | ::free(p); | ./gecode/minimodel/matrix.hpp: In function 'setup': ./gecode/minimodel/matrix.hpp:52: note: declared here 52 | _r = ArgsType((tc-fc)*(tr-fr)); | In member function '__ct ', inlined from 'run' at test/set.cpp:723:0: test/set.cpp:69: warning: argument 1 value '18446744073709551615' exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] 69 | : n(n0), dsv(new CountableSet[n]), ir(_withInt, d0), done(false), lub(d0), | /usr/include/c++/12/new: In member function 'run': /usr/include/c++/12/new:128:26: note: in a call to allocation function 'operator new []' declared here 128 | _GLIBCXX_NODISCARD void* operator new[](std::size_t) _GLIBCXX_THROW (std::bad_alloc) | ^ perl ./misc/fixmanifest.perl .so.49.0 test/test.manifest .so.49.0 make[1]: Leaving directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' test/test -iter 2 -test Branch::Int::Dense::3 \ -test FlatZinc::magic_square \ -test Int::Arithmetic::Abs \ -test Int::Arithmetic::ArgMax \ -test Int::Arithmetic::Max::Nary \ -test Int::Cumulative::Man::Fix::0::4 \ -test Int::Distinct::Random \ -test Int::Linear::Bool::Int::Lq \ -test Int::MiniModel::LinExpr::Bool::352 \ -test NoGoods::Queens \ -test Search::DFS::Sol::Binary::Nary::Binary::1::1::1 \ -test Set::Dom::Dom::Gr \ -test Set::RelOp::ConstSSI::Union \ -test Set::Sequence::SeqU1 \ -test Set::Wait test/test: error while loading shared libraries: libgecodegist.so.49: cannot open shared object file: No such file or directory make: *** [Makefile:1275: check] Error 127 ```
zayenz commented 2 years ago

The dynamic libraries are not in the load path when you are running. Try adding the correct path using LD_LIBRARY_PATH.

In the upcoming release (see branch release/6.3.0) the Makefile has been updated to set the build path automatically.

kloczek commented 2 years ago

Please switch from use -l<foo> to lib<foo>.la. libtool ld scripot contains all necessary paths.