Qt5 not found when running minizinc/gecode on command line

[Andrea Rendl-Pitrey]

Hi everyone,

I'm trying to run bundled MiniZinc 2.2.1 with Gecode in the command line:

minizinc -solver gecode problem.mzn data.dzn

and get the error message:

/home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode: /usr/lib/x86_64-linux-gnu/libQt5PrintSupport.so.5: version `Qt_5' not found (required by /home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode)
/home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode: /usr/lib/x86_64-linux-gnu/libQt5Core.so.5: version `Qt_5.9' not found (required by /home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode)
/home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode: /usr/lib/x86_64-linux-gnu/libQt5Core.so.5: version `Qt_5' not found (required by /home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode)
/home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode: /usr/lib/x86_64-linux-gnu/libQt5Gui.so.5: version `Qt_5' not found (required by /home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode)
/home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode: /usr/lib/x86_64-linux-gnu/libQt5Widgets.so.5: version `Qt_5' not found (required by /home/andrea/Downloads/minizinc/MiniZincIDE-2.2.1-bundle-linux/bin/fzn-gecode)
=====ERROR=====

The shared object files are all in the location where fzn-gecode is expecting them (in /usr/lib/x86_64-linux-gnu/). However, "qmake --version" shows me that my default qmake is version 4.8.7. Is it a requirement to have qmake5 installed for running MiniZinc/gecode on the command line?

BTW, it works perfectly fine in the IDE.

Many thanks for your help!

Cheers,

Andrea

[Dekker, Jip J.]

Hi Andrea,

MiniZinc (and the bundled version of Gecode) ship with their own version of Qt5. When using the binaries the libraries of this version of Qt5 need to be on the library path. For the IDE this is done in the shell script used to start it. You can do this for the other executables by using the following command with your own MiniZinc location:

export LD_LIBRARY_PATH=/opt/minizinc/lib:$LD_LIBRARY_PATH

Cheers,

Jip

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/d1b69f12-821b-4dd5-8e7d-f959adbd15b2%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Andrea Rendl-Pitrey]

Thank you Jip, this works for me!