diff options
author | Dimitris Pappas | 2015-11-03 14:59:43 +0200 |
---|---|---|
committer | Dimitris Pappas | 2015-11-03 15:04:04 +0200 |
commit | ecc2456535ad4e96fcbb9a88564ade7ffb787ea2 (patch) | |
tree | 1c10cf32577e56e97f415a6288cea0f737648227 | |
download | aur-ecc2456535ad4e96fcbb9a88564ade7ffb787ea2.tar.gz |
Initial files
-rw-r--r-- | .SRCINFO | 17 | ||||
-rw-r--r-- | PKGBUILD | 43 |
2 files changed, 60 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..0c2f702bf0d3 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = minizinc-ide + pkgdesc = Simple IDE for writing and running MiniZinc models + pkgver = 2.0.8 + pkgrel = 1 + url = http://www.minizinc.org/ide/ + arch = i686 + arch = x86_64 + license = Mozilla Public License Version 2.0 + provides = minizinc + conflicts = libminizinc + source_i686 = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_32.tgz + md5sums_i686 = dc3ae1e2972a053413ffb5ff1393a065 + source_x86_64 = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_64.tgz + md5sums_x86_64 = d72aefbdb83f72374bb193453693c28f + +pkgname = minizinc-ide + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..b80ee7e3c9e9 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,43 @@ +#Maintainer: Dimitris Pappas <mitsakosgr@gmail.com> +pkgname=minizinc-ide +pkgver=2.0.8 +pkgrel=1 +pkgdesc="Simple IDE for writing and running MiniZinc models" +arch=('i686' 'x86_64') +url="http://www.minizinc.org/ide/" +license=('Mozilla Public License Version 2.0') +provides=('minizinc') +conflicts=('libminizinc') + +source_x86_64=(https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_64.tgz) +source_i686=(https://github.com/MiniZinc/MiniZincIDE/releases/download/2.0.8/MiniZincIDE-2.0.8-bundle-linux-x86_32.tgz) + +md5sums_x86_64=(d72aefbdb83f72374bb193453693c28f) +md5sums_i686=(dc3ae1e2972a053413ffb5ff1393a065) + +package() { + cd "$srcdir" + + mkdir -p "${pkgdir}"/usr/share/"${pkgname}" + + if [ "${CARCH}" == "i686" ]; then + _arch=32; + else + _arch=64; + fi + + mv MiniZincIDE-2.0.8-bundle-linux-x86_"${_arch}"/* "${pkgdir}"/usr/share/"${pkgname}" + + 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 + + mkdir -p usr/bin + ln -s /usr/share/${pkgname}/MiniZincIDE.sh usr/bin/${pkgname} + ln -s /usr/share/${pkgname}/minizinc usr/bin/minizinc +} |