That's excellent news! I will download and install the development version tonight after work.
I noticed that there's an example with crosswords. Is it possible to generalise it to the case where the constraint is not given by black cells only, but letters as well? I mean, if I wanted specific letters in certain cells of the crossword, how would I impose it? If possible .... Cheers, Andrea Sent from my Huawei Mobile -------- Original Message -------- Subject: Re: [gecode-users] Installation problem: undefined rerence to Gist From: Guido Tack To: "" CC: andreasacc...@hotmail.co.uk,"users@gecode.org list" Hi, this was a problem with the CMake configuration file, it's fixed on on the develop branch. Cheers, Guido On Mon, Jun 25, 2018 at 6:54 PM Christian Schulte <cschu...@kth.se<mailto:cschu...@kth.se>> wrote: Hi, Did you also install the qt header files? Or do you have more than one Qt installation around? Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...@ri.se<mailto:christian.schu...@ri.se> From: users-boun...@gecode.org<mailto:users-boun...@gecode.org> <users-boun...@gecode.org<mailto:users-boun...@gecode.org>> On Behalf Of Andrea Sacconi Sent: Saturday, June 23, 2018 19:25 To: users@gecode.org<mailto:users@gecode.org> Subject: [gecode-users] Installation problem: undefined rerence to Gist Hello, I have just downloaded the source code of Gecode and I am trying to install it on my Ubuntu 18.04 machine. Unfortunately, I stumbled on a linking problem related to Gist. Apparently there is a problem with linking such library, but I do not know what to do. I downloaded Qt5 and I thought it would be fine, but that is not the case. Do I have to modify anything with CMake? Could you please help me? [ 99%] Linking CXX executable bin/gecode-test libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::dfs(Gecode::Space*, Gecode::Gist::Options const&)': flatzinc.cpp:(.text._ZN6Gecode4Gist3dfsEPNS_5SpaceERKNS0_7OptionsE[_ZN6Gecode4Gist3dfsEPNS_5SpaceERKNS0_7OptionsE]+0x21): undefined reference to `Gecode::Gist::explore(Gecode::Space*, bool, Gecode::Gist::Options const&)' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::bab(Gecode::Space*, Gecode::Gist::Options const&)': flatzinc.cpp:(.text._ZN6Gecode4Gist3babEPNS_5SpaceERKNS0_7OptionsE[_ZN6Gecode4Gist3babEPNS_5SpaceERKNS0_7OptionsE]+0x21): undefined reference to `Gecode::Gist::explore(Gecode::Space*, bool, Gecode::Gist::Options const&)' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::FlatZinc::FZPrintingInspector<Gecode::FlatZinc::FlatZincSpace>::~FZPrintingInspector()': flatzinc.cpp:(.text._ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEED2Ev[_ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEED5Ev]+0x3d): undefined reference to `Gecode::Gist::Inspector::~Inspector()' flatzinc.cpp:(.text._ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEED2Ev[_ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEED5Ev]+0x49): undefined reference to `Gecode::Gist::TextOutput::~TextOutput()' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::VarComparator<Gecode::FlatZinc::FlatZincSpace>::~VarComparator()': flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEED2Ev[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEED5Ev]+0x3d): undefined reference to `Gecode::Gist::Comparator::~Comparator()' flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEED2Ev[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEED5Ev]+0x49): undefined reference to `Gecode::Gist::TextOutput::~TextOutput()' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::Inspector::Inspector()': flatzinc.cpp:(.text._ZN6Gecode4Gist9InspectorC2Ev[_ZN6Gecode4Gist9InspectorC5Ev]+0xb): undefined reference to `vtable for Gecode::Gist::Inspector' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::FlatZinc::FZPrintingInspector<Gecode::FlatZinc::FlatZincSpace>::FZPrintingInspector(Gecode::FlatZinc::Printer const&)': flatzinc.cpp:(.text._ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEC2ERKNS0_7PrinterE[_ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEC5ERKNS0_7PrinterE]+0x52): undefined reference to `Gecode::Gist::TextOutput::TextOutput(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::Comparator::Comparator()': flatzinc.cpp:(.text._ZN6Gecode4Gist10ComparatorC2Ev[_ZN6Gecode4Gist10ComparatorC5Ev]+0xb): undefined reference to `vtable for Gecode::Gist::Comparator' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::VarComparator<Gecode::FlatZinc::FlatZincSpace>::VarComparator(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)': flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEEC2ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEEC5ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE]+0x1f): undefined reference to `Gecode::Gist::TextOutput::TextOutput(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)' libgecodeflatzinc.a(flatzinc.cpp.o):(.data.rel.ro._ZTVN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE[_ZTVN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE]+0x20): undefined reference to `Gecode::Gist::TextOutput::name[abi:cxx11]()' libgecodeflatzinc.a(flatzinc.cpp.o):(.data.rel.ro._ZTVN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE[_ZTVN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE]+0x50): undefined reference to `Gecode::Gist::Inspector::name[abi:cxx11]()' libgecodeflatzinc.a(flatzinc.cpp.o):(.data.rel.ro._ZTIN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEEE[_ZTIN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEEE]+0x18): undefined reference to `typeinfo for Gecode::Gist::TextOutput' libgecodeflatzinc.a(flatzinc.cpp.o):(.data.rel.ro._ZTIN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEEE[_ZTIN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEEE]+0x28): undefined reference to `typeinfo for Gecode::Gist::Comparator' libgecodeflatzinc.a(flatzinc.cpp.o):(.data.rel.ro._ZTIN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE[_ZTIN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE]+0x18): undefined reference to `typeinfo for Gecode::Gist::TextOutput' libgecodeflatzinc.a(flatzinc.cpp.o):(.data.rel.ro._ZTIN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE[_ZTIN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEEE]+0x28): undefined reference to `typeinfo for Gecode::Gist::Inspector' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::VarComparator<Gecode::FlatZinc::FlatZincSpace>::name[abi:cxx11]()': flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE4nameB5cxx11Ev[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE4nameB5cxx11Ev]+0x2e): undefined reference to `Gecode::Gist::TextOutput::name[abi:cxx11]()' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::FlatZinc::FZPrintingComparator<Gecode::FlatZinc::FlatZincSpace>::compare(Gecode::Space const&, Gecode::Space const&)': flatzinc.cpp:(.text._ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_[_ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_]+0x21): undefined reference to `Gecode::Gist::TextOutput::init()' flatzinc.cpp:(.text._ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_[_ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_]+0x61): undefined reference to `Gecode::Gist::TextOutput::getStream()' flatzinc.cpp:(.text._ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_[_ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_]+0xaa): undefined reference to `Gecode::Gist::TextOutput::getStream()' flatzinc.cpp:(.text._ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_[_ZN6Gecode8FlatZinc20FZPrintingComparatorINS0_13FlatZincSpaceEE7compareERKNS_5SpaceES6_]+0xe7): undefined reference to `Gecode::Gist::TextOutput::getStream()' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::VarComparator<Gecode::FlatZinc::FlatZincSpace>::finalize()': flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE8finalizeEv[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE8finalizeEv]+0x14): undefined reference to `Gecode::Gist::TextOutput::finalize()' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::Gist::VarComparator<Gecode::FlatZinc::FlatZincSpace>::compare(Gecode::Space const&, Gecode::Space const&)': flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_]+0xdc): undefined reference to `Gecode::Gist::TextOutput::init()' flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_]+0xf2): undefined reference to `Gecode::Gist::TextOutput::addHtml(char const*)' flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_]+0x101): undefined reference to `Gecode::Gist::TextOutput::getStream()' flatzinc.cpp:(.text._ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_[_ZN6Gecode4Gist13VarComparatorINS_8FlatZinc13FlatZincSpaceEE7compareERKNS_5SpaceES7_]+0x169): undefined reference to `Gecode::Gist::TextOutput::addHtml(char const*)' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::FlatZinc::FZPrintingInspector<Gecode::FlatZinc::FlatZincSpace>::inspect(Gecode::Space const&)': flatzinc.cpp:(.text._ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE7inspectERKNS_5SpaceE[_ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE7inspectERKNS_5SpaceE]+0x1b): undefined reference to `Gecode::Gist::TextOutput::init()' flatzinc.cpp:(.text._ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE7inspectERKNS_5SpaceE[_ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE7inspectERKNS_5SpaceE]+0x5b): undefined reference to `Gecode::Gist::TextOutput::getStream()' flatzinc.cpp:(.text._ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE7inspectERKNS_5SpaceE[_ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE7inspectERKNS_5SpaceE]+0x75): undefined reference to `Gecode::Gist::TextOutput::getStream()' libgecodeflatzinc.a(flatzinc.cpp.o): In function `Gecode::FlatZinc::FZPrintingInspector<Gecode::FlatZinc::FlatZincSpace>::finalize()': flatzinc.cpp:(.text._ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE8finalizeEv[_ZN6Gecode8FlatZinc19FZPrintingInspectorINS0_13FlatZincSpaceEE8finalizeEv]+0x14): undefined reference to `Gecode::Gist::TextOutput::finalize()' collect2: error: ld returned 1 exit status CMakeFiles/gecode-test.dir/build.make:4238: recipe for target 'bin/gecode-test' failed make[2]: *** [bin/gecode-test] Error 1 CMakeFiles/Makefile2:200: recipe for target 'CMakeFiles/gecode-test.dir/all' failed make[1]: *** [CMakeFiles/gecode-test.dir/all] Error 2 Makefile:94: recipe for target 'all' failed make: *** [all] Error 2 _______________________________________________ Gecode users mailing list users@gecode.org<mailto:users@gecode.org> https://www.gecode.org/mailman/listinfo/gecode-users -- GUIDO TACK Senior Lecturer Information Technology Monash University Level 6, Room 6.40, Building H, Caulfield Campus 900 Dandenong Road Caulfield East VIC 3145 Australia T: +61 3 9903 1214 E: guido.t...@monash.edu<mailto:guido.t...@monash.edu> http://users.monash.edu/~guidot/
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
