Closed jdevoo closed 5 years ago
Thanks, we will look into fixing this for the bundle of the next version.
This issue is caused by the following issue in the linuxqtdeploy packaging script: https://github.com/probonopd/linuxdeployqt/issues/35
A workaround has been added to ensure the libraries of nss-softokn
are packaged until the issue has been resolved upstream.
I was investigating the reason I could not get visualizations for a MOOC assignment running on versions of MiniZinc after 2.1.7 on Ubuntu.
I am referring in particular to the following type of code
I tried in particular version 2.2.3 which bombs with
The following issue on another repo lead me to explore the files under lib.
For version 2.1.7
For version 2.2.3
Based on the error
libsoftokn3.so: cannot open shared object file: No such file or directory
Noticelibsoftokn3.so
is missing and not present on the LD_LIBRARY_PATH for my host. I was able to successfully run the visualization using the following command which fetches the needed files from the firefox directoryLD_PRELOAD=/usr/lib/firefox/libnss3.so:/usr/lib/firefox/libnssutil3.so:/usr/lib/firefox/libsoftokn3.so:/usr/lib/firefox/libmozsqlite3.so ./MiniZincIDE.sh
It seems therefore to me that there is a bundling issue with MiniZinc.