summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormitsakosgr2017-03-16 20:24:44 +0000
committermitsakosgr2017-03-16 20:24:44 +0000
commitb11456db180b93f0048294d9f42f9e6e325642fc (patch)
tree301232d278c6e3a43541d3c0fc5c669608f34cd8
parent0dd6078c423669df94dc4672fe79642d4df0b75e (diff)
downloadaur-b11456db180b93f0048294d9f42f9e6e325642fc.tar.gz
Version 2
Add dependencies and workaround for libpcre16.so dependency as pointed by @hollunder and @smldis
-rw-r--r--.SRCINFO7
-rw-r--r--PKGBUILD12
2 files changed, 17 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 6d6a5d073965..ea7c8f0de8f7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,11 +1,16 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
pkgver = 2.1.3
- pkgrel = 1
+ pkgrel = 2
url = http://www.minizinc.org/ide/
arch = i686
arch = x86_64
license = Mozilla Public License Version 2.0
+ depends = libpng12
+ depends = pcre
+ depends = gstreamer
+ depends = gst-plugins-base-libs
+ depends = double-conversion
provides = minizinc
conflicts = libminizinc
source = minizinc-ide.desktop
diff --git a/PKGBUILD b/PKGBUILD
index 4c011d1f16c8..8568dcf6b9db 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
#Maintainer: Dimitris Pappas <mitsakosgr@gmail.com>
pkgname=minizinc-ide
pkgver=2.1.3
-pkgrel=1
+pkgrel=2
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=('i686' 'x86_64')
url="http://www.minizinc.org/ide/"
@@ -12,6 +12,12 @@ conflicts=('libminizinc')
source=('minizinc-ide.desktop'
'minizinc.png')
+depends=('libpng12'
+ 'pcre'
+ 'gstreamer'
+ 'gst-plugins-base-libs'
+ 'double-conversion')
+
source_x86_64=(https://github.com/MiniZinc/MiniZincIDE/releases/download/"${pkgver}"/MiniZincIDE-"${pkgver}"-bundle-linux-x86_64.tgz)
source_i686=(https://github.com/MiniZinc/MiniZincIDE/releases/download/"${pkgver}"/MiniZincIDE-"${pkgver}"-bundle-linux-x86_32.tgz)
@@ -34,6 +40,7 @@ package() {
install "${srcdir}/"minizinc-ide.desktop "${pkgdir}"/usr/share/applications/
mkdir -p "${pkgdir}"/usr/share/"${pkgname}"
+ mkdir -p "${pkgdir}"/usr/lib
# Move png to package
install "${srcdir}/"minizinc.png "${pkgdir}"/usr/share/"${pkgname}"
@@ -57,4 +64,7 @@ EOT
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/
+
+ # Workaround for dependency resolver
+ ln -s /usr/lib/libpcre16.so usr/lib/libpcre16.so.3
}