Package Details: minizinc-ide 2.8.3-1

Git Clone URL: https://aur.archlinux.org/minizinc-ide.git (read-only, click to copy)
Package Base: minizinc-ide
Description: Simple IDE for writing and running MiniZinc models
Upstream URL: http://www.minizinc.org/ide/
Keywords: IDE minizinc
Licenses: MPL2
Conflicts: libminizinc, minizinc-ide-edge
Provides: minizinc
Submitter: mitsakosgr
Maintainer: mitsakosgr (95A31)
Last Packager: mitsakosgr
Votes: 11
Popularity: 0.45
First Submitted: 2015-11-03 12:59 (UTC)
Last Updated: 2024-02-01 08:33 (UTC)

Latest Comments

« First ‹ Previous 1 2

wezm commented on 2018-09-10 00:20 (UTC)

When I run minizinc-ide I get the error:

/usr/bin/minizinc-ide: line 4: /usr/share/minizinc-ide/MiniZincIDE: No such file or directory

It seems the path to MiniZincIDE should be /usr/share/minizinc-ide/bin/MiniZincIDE in the MinizincIDE.sh script generated in the PKGBUILD.

mitsakosgr commented on 2018-08-25 18:08 (UTC)

I fixed the checksum check and also a building problem.

Zento commented on 2018-08-25 10:39 (UTC)

I receive the following error while installing the latest pkgbuild:

==> ERROR: Integrity checks are missing for: source_x86_64
==> ERROR: Makepkg was unable to build minizinc-ide.

Thanks for maintaining the package!

mitsakosgr commented on 2018-08-24 07:58 (UTC)

Updated to version 2.2.0 Dropped support for i686 from upstream (https://github.com/MiniZinc/MiniZincIDE/releases)

95A31 commented on 2018-06-21 14:20 (UTC) (edited on 2018-06-21 14:21 (UTC) by 95A31)

I have the following error using fzn-gecode:

fzn-gecode: error while loading shared libraries: libmpfr.so.4: cannot open shared object file: No such file or directory

Workarourd:

sudo ln -s /usr/lib/libmpfr.so /usr/lib/libmpfr.so.4

mitsakosgr commented on 2017-03-16 20:36 (UTC)

Thank you for the comments. I never had any dependency problems with my installation, so I created a clean arch linux with lxqt and added all the dependencies I could find. I also added @hollunder suggestion for the workaround in the package.

hollunder commented on 2017-03-16 13:21 (UTC) (edited on 2017-03-16 13:31 (UTC) by hollunder)

I think we face the problem mentioned here: https://archives.gentoo.org/gentoo-dev/message/676cd8b16a7255446355744d91636880 Workaround: sudo ln -s /usr/lib/libpcre16.so /usr/lib/libpcre16.so.3 Next problem: $ minizinc-ide /usr/share/minizinc-ide/MiniZincIDE: error while loading shared libraries: libdouble-conversion.so.1: cannot open shared object file: No such file or directory Solution: Add 'double-conversion' (AUR) to dependencies.

hollunder commented on 2017-03-16 12:51 (UTC) (edited on 2017-03-16 12:52 (UTC) by hollunder)

Hi there, I get a lot of warnings when building and installing this. minizinc-ide E: ELF file ('usr/share/minizinc-ide/flatzinc') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/mzn2doc') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/solns2dzn') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/fzn-gecode') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/fzn-chuffed') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/mzn-cbc') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/MiniZincIDE') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/solns2out') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/minizinc') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/mzn2fzn') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/mzn-gurobi') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libicuuc.so.55') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5DBus.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Network.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libicudata.so.55') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5PrintSupport.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5XcbQpa.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Svg.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libicui18n.so.55') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5WebKit.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Core.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Qml.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5OpenGL.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Positioning.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Gui.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5WebKitWidgets.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Sql.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Widgets.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/lib/libQt5Quick.so.5') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforms/libqeglfs.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforms/libqlinuxfb.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforms/libqminimal.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforms/libqminimalegl.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforms/libqoffscreen.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforms/libqxcb.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/iconengines/libqsvgicon.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/egldeviceintegrations/libqeglfs-x11-integration.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/egldeviceintegrations/libqeglfs-kms-integration.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/printsupport/libcupsprintersupport.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/bearer/libqconnmanbearer.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/bearer/libqgenericbearer.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/bearer/libqnmbearer.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/xcbglintegrations/libqxcb-egl-integration.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/xcbglintegrations/libqxcb-glx-integration.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platformthemes/libappmenu-qt5.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/feedback/libqtfeedback_mmk.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforminputcontexts/libcomposeplatforminputcontextplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/platforminputcontexts/libibusplatforminputcontextplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/organizer/libqtorganizer_memory.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/imageformats/libqico.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/imageformats/libqsvg.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/imageformats/libqjpeg.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/imageformats/libqgif.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/qmltooling/libqmldbg_tcp.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/qmltooling/libqmldbg_qtquick2.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/generic/libqevdevkeyboardplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/generic/libqevdevtouchplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/generic/libqlibinputplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/generic/libqevdevtabletplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/generic/libqtuiotouchplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/generic/libqevdevmouseplugin.so') outside of a valid path. minizinc-ide E: ELF file ('usr/share/minizinc-ide/plugins/sqldrivers/libqsqlite.so') outside of a valid path. minizinc-ide E: Mozilla Public License Version 2.0 is not a common license (it's not in /usr/share/licenses/common/) minizinc-ide W: Referenced library 'libgstaudio-1.0.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Qml.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libgstpbutils-1.0.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libjpeg.so.8' is an uninstalled dependency minizinc-ide W: Referenced library 'libpng12.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libXcomposite.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libicui18n.so.55' is an uninstalled dependency minizinc-ide W: Referenced library 'libxkbcommon.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libdouble-conversion.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libX11-xcb.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libxslt.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5WebKit.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libcups.so.2' is an uninstalled dependency minizinc-ide W: Referenced library 'libfontconfig.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libX11.so.6' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Network.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libproxy.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Core.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5OpenGL.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Gui.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libfreetype.so.6' is an uninstalled dependency minizinc-ide W: Referenced library 'libicuuc.so.55' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-shm.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5PrintSupport.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5DBus.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-render-util.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libgstreamer-1.0.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-render.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libXrender.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libicudata.so.55' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-sync.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libgstbase-1.0.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libxkbcommon-x11.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libgtk-x11-2.0.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libharfbuzz.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-randr.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libgbm.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-xfixes.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libICE.so.6' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-shape.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Feedback.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-image.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libxml2.so.2' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-xkb.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Sql.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libgstapp-1.0.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libEGL.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libdrm.so.2' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Widgets.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libpcre16.so.3' is an uninstalled dependency minizinc-ide W: Referenced library 'libGL.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libXi.so.6' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Multimedia.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libSM.so.6' is an uninstalled dependency minizinc-ide W: Referenced library 'libmtdev.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Svg.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-glx.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Quick.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-icccm.so.4' is an uninstalled dependency minizinc-ide W: Referenced library 'libinput.so.10' is an uninstalled dependency minizinc-ide W: Referenced library 'libxcb-keysyms.so.1' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5XcbQpa.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libdbusmenu-qt5.so.2' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5WebKitWidgets.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5Organizer.so.5' is an uninstalled dependency minizinc-ide W: Referenced library 'libdbus-1.so.3' is an uninstalled dependency minizinc-ide W: Referenced library 'libgstvideo-1.0.so.0' is an uninstalled dependency minizinc-ide W: Referenced library 'libQt5EglDeviceIntegration.so.5' is an uninstalled dependency minizinc-ide E: Dependency glib2 detected and not included (libraries ['usr/lib/libgobject-2.0.so.0', 'usr/lib/libglib-2.0.so.0'] needed in files ['usr/share/minizinc-ide/plugins/platformthemes/libappmenu-qt5.so', 'usr/share/minizinc-ide/plugins/platforms/libqlinuxfb.so', 'usr/share/minizinc-ide/plugins/platforms/libqoffscreen.so', 'usr/share/minizinc-ide/lib/libQt5XcbQpa.so.5', 'usr/share/minizinc-ide/plugins/platforms/libqminimal.so', 'usr/share/minizinc-ide/plugins/platforms/libqminimalegl.so', 'usr/share/minizinc-ide/lib/libQt5Core.so.5', 'usr/share/minizinc-ide/lib/libQt5Widgets.so.5', 'usr/share/minizinc-ide/lib/libQt5WebKit.so.5']) minizinc-ide E: Dependency libsystemd detected and not included (libraries ['usr/lib/libudev.so.1'] needed in files ['usr/share/minizinc-ide/plugins/generic/libqevdevmouseplugin.so', 'usr/share/minizinc-ide/plugins/platforms/libqlinuxfb.so', 'usr/share/minizinc-ide/plugins/generic/libqlibinputplugin.so', 'usr/share/minizinc-ide/plugins/generic/libqevdevtabletplugin.so', 'usr/share/minizinc-ide/plugins/generic/libqevdevkeyboardplugin.so', 'usr/share/minizinc-ide/plugins/generic/libqevdevtouchplugin.so', 'usr/share/minizinc-ide/plugins/egldeviceintegrations/libqeglfs-kms-integration.so']) minizinc-ide E: Dependency sqlite detected and not included (libraries ['usr/lib/libsqlite3.so.0'] needed in files ['usr/share/minizinc-ide/plugins/sqldrivers/libqsqlite.so', 'usr/share/minizinc-ide/lib/libQt5WebKit.so.5']) minizinc-ide E: Dependency mpfr detected and not included (libraries ['usr/lib/libmpfr.so.4'] needed in files ['usr/share/minizinc-ide/fzn-gecode']) '/var/tmp/aurbuild.mTPFvh01/minizinc-ide-2.1.3-1-x86_64.pkg.tar.xz' -> '/var/cache/pacman/aur/minizinc-ide-2.1.3-1-x86_64.pkg.tar.xz' adding minizinc-ide 2.1.3-1 And an error when I try to run this thing: $ minizinc-ide /usr/share/minizinc-ide/MiniZincIDE: error while loading shared libraries: libpcre16.so.3: cannot open shared object file: No such file or directory

smldis commented on 2017-02-13 20:53 (UTC)

libpng12 is a dependecy and after installing it I get: error while loading shared libraries: libpcre16.so.3: cannot open shared object file: No such file or directory

ryuzy commented on 2016-11-27 10:58 (UTC)

The md5sum for the x64 version is wrong. It should be: 9318a7032418cd93ddcf83f3b4f35f6e

« First ‹ Previous 1 2