Package Details: minizinc-ide 2.8.7-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.002132
First Submitted: 2015-11-03 12:59 (UTC)
Last Updated: 2024-10-02 09:40 (UTC)

Latest Comments

1 2 Next › Last »

95A31 commented on 2020-01-14 21:02 (UTC)

Updated, thank you.

Sera commented on 2020-01-14 13:23 (UTC)

Newest version 2.4.2 has been published https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz

95A31 commented on 2019-08-05 15:39 (UTC) (edited on 2019-08-05 15:39 (UTC) by 95A31)

Fixed, thank you.

BoraxKasein commented on 2019-08-03 10:02 (UTC)

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 (UTC) (edited on 2019-07-07 21:09 (UTC) by 95A31)

Hello,

I improved your PKGBUILD, check it out:

95A31 commented on 2019-03-21 17:03 (UTC)

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 (UTC) (edited on 2018-09-14 05:52 (UTC) by mitsakosgr)

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 (UTC) (edited on 2018-09-13 23:16 (UTC) by 95A31)

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

mitsakosgr commented on 2018-09-12 06:37 (UTC) (edited on 2018-09-12 07:07 (UTC) by mitsakosgr)

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 (UTC)

Confirmed that paths are changed, all binaries are missing.

1 2 Next › Last »