summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2018-09-12 10:02:21 +0300
committerDimitris Pappas2018-09-12 10:02:21 +0300
commit42d05360842fd87f960804e3f9e4d17689a99188 (patch)
treee87ecc27921c28a44535b1a784f0f65fb3e1871e
parent378c2136d4be5f98dae233ac7f8965fd194809d9 (diff)
downloadaur-42d05360842fd87f960804e3f9e4d17689a99188.tar.gz
Fixed new file location and bypass shell script
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD18
2 files changed, 9 insertions, 12 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ff622783c1b2..e5de26732f54 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
pkgver = 2.2.1
- pkgrel = 1
+ pkgrel = 2
url = http://www.minizinc.org/ide/
arch = x86_64
license = Mozilla Public License Version 2.0
@@ -12,6 +12,7 @@ pkgbase = minizinc-ide
depends = double-conversion
provides = minizinc
conflicts = libminizinc
+ options = !strip
source = minizinc-ide.desktop
source = minizinc.png
source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.2.1/MiniZincIDE-2.2.1-bundle-linux-x86_64.tgz
diff --git a/PKGBUILD b/PKGBUILD
index 1ba1c0b67f34..ca6832da1b40 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
#Maintainer: Dimitris Pappas <mitsakosgr@gmail.com>
pkgname=minizinc-ide
pkgver=2.2.1
-pkgrel=1
+pkgrel=2
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=('x86_64')
url="http://www.minizinc.org/ide/"
@@ -23,6 +23,8 @@ sha256sums=('b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1'
'1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a'
'b67678d3c468998e20f080572b39e6140bb73c0671d5fb9be1d969067d28b59b')
+options=(!strip)
+
package() {
if [ "${CARCH}" == "i686" ]; then
_arch=32;
@@ -48,18 +50,12 @@ package() {
# Rewrite MiniZincIDE.sh in order to change locations
cd "$pkgdir"
- cat <<EOT > usr/share/"${pkgname}"/MiniZincIDE.sh
-#!/bin/sh
-export LD_LIBRARY_PATH=\$LD_LIBRARY_PATH:/usr/share/$pkgname/lib
-export QT_PLUGIN_PATH=/usr/share/$pkgname/plugins
-exec /usr/share/$pkgname/MiniZincIDE \$@
-EOT
-
# Create links for minizinc programs.
mkdir -p usr/bin
- ln -s /usr/share/${pkgname}/MiniZincIDE.sh usr/bin/minizinc-ide
- ln -s /usr/share/${pkgname}/{flatzinc,fzn-gecode-gist,minizinc,mzn2doc,mzn-g12fd,mzn-g12mip} usr/bin
- ln -s /usr/share/${pkgname}/{solns2dzn,fzn-gecode,mzn2fzn,mzn-g12lazy,mzn-gecode,solns2out} usr/bin/
+ #ln -s /usr/share/${pkgname}/MiniZincIDE.sh usr/bin/minizinc-ide
+ ln -s /usr/share/${pkgname}/bin/MiniZincIDE usr/bin/minizinc-ide
+ ln -s /usr/share/${pkgname}/bin/{flatzinc,fzn-gecode-gist,minizinc,mzn2doc,mzn-g12fd,mzn-g12mip} usr/bin
+ ln -s /usr/share/${pkgname}/bin/{solns2dzn,fzn-gecode,mzn2fzn,mzn-g12lazy,mzn-gecode,solns2out} usr/bin/
# Workaround for dependency resolver
ln -s /usr/lib/libpcre16.so usr/lib/libpcre16.so.3