Package Details: minizinc-ide 2.3.2-1

Git Clone URL: https://aur.archlinux.org/minizinc-ide.git (read-only)
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
Provides: minizinc
Submitter: mitsakosgr
Maintainer: mitsakosgr (95A31)
Last Packager: 95A31
Votes: 10
Popularity: 0.118876
First Submitted: 2015-11-03 12:59
Last Updated: 2019-11-30 01:12

Latest Comments

1 2 Next › Last »

95A31 commented on 2019-08-05 15:39

Fixed, thank you.

BoraxKasein commented on 2019-08-03 10:02

Hi,

i think the URL has changed from: https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.1/MiniZincIDE-2.3.1-bundle-linux.tgz

to: https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.1/MiniZincIDE-2.3.1-bundle-linux-x86_64.tgz

95A31 commented on 2019-07-06 12:24

Hello,

I improved your PKGBUILD, check it out:

95A31 commented on 2019-03-21 17:03

Hello, fzn-gecode-gist crash due some problem with

/usr/share/minizinc-ide/plugins/platforms/../../lib/libQt5XcbQpa.so.5

I workaround it by using system library, but it isn't a final solution.

mitsakosgr commented on 2018-09-14 05:51

I also added the strip option to the PKGBUILD. You don't have to change the shell script, just remove it from the PKGBUILD, it is included in the downloaded file.

I left both commands in the PKGBUILD (lines 55, 56). If you can run it through the shell script then just uncomment line 55 and comment 56.

95A31 commented on 2018-09-13 23:11

I make it work changing the PKGBUILD in this way: https://pastebin.com/0ketY1dB

mitsakosgr commented on 2018-09-12 06:37

The "proper" way to run the IDE is through the shell script in the base directory. It is changed but the problem is that it crashes with error: Could not initialize GLX zsh: abort (core dumped) minizinc-ide

Bypassing the shell script will make the IDE run but it wont set the LD_LIBRARY_PATH and the QT_PLUGIN_PATH, which means that it will depend on system packages to be installed (like qt5, avahi, libcups, libdbus etc).

I updated the PKGBUILD to point to the binary itself. Anybody with dependencies issues please let me know to add them to the package.

95A31 commented on 2018-09-11 22:32

Confirmed that paths are changed, all binaries are missing.

wezm commented on 2018-09-10 00:20

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

I fixed the checksum check and also a building problem.