summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2020-03-04 09:18:23 +0000
committerDimitris Pappas2020-03-04 09:18:23 +0000
commita77fff137286e12e06d867d87a9cbf9b2cf109de (patch)
tree5a8f271e5011b9171d7ef0e518bc5f280a010263
parent27212a3693d096932213390509c0499c4ba7f700 (diff)
downloadaur-a77fff137286e12e06d867d87a9cbf9b2cf109de.tar.gz
Version 2.4.3
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD8
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index fc67004377b7..3c6cb950c7ad 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.4.2
+ pkgver = 2.4.3
pkgrel = 1
url = http://www.minizinc.org/ide/
install = minizinc-ide.install
@@ -12,11 +12,11 @@ pkgbase = minizinc-ide
source = minizinc-ide.desktop
source = fzn-gecode-gist-lib-path.patch
source = https://raw.githubusercontent.com/MiniZinc/MiniZincIDE/master/resources/icon.png
- source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.3/MiniZincIDE-2.4.3-bundle-linux-x86_64.tgz
sha256sums = bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6
sha256sums = 657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a
sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- sha256sums = 334a1ec64473400feef39dfebd76a4c56c783f3bbfc0f9d8b75a2cbde697aa6e
+ sha256sums = b169c93f8a665d85615f008d850ecd2a4097ccfe20322c54f2548bde7646555d
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index 18f7ea451c57..057b2ca1ed13 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Dimitris Pappas <mitsakosgr at gmail dot com>
# Contributor: Fabio Tardivo <x95a31x at gmail dot com>
pkgname=minizinc-ide
-pkgver=2.4.2
+pkgver=2.4.3
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -21,13 +21,13 @@ sha256sums=(
bf26b9e3cae148fb05ce131ef62076bda467ebd2ce9913525a5540f09435c2b6
657090bd7d93d16648e12c8df14f65e858ee49c2384b137ff7e1abb61b291a6a
eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- 334a1ec64473400feef39dfebd76a4c56c783f3bbfc0f9d8b75a2cbde697aa6e
+ b169c93f8a665d85615f008d850ecd2a4097ccfe20322c54f2548bde7646555d
)
prepare() {
# Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90
- cd $srcdir/MiniZincIDE-$pkgver-bundle-linux
+ cd $srcdir/MiniZincIDE-$pkgver-bundle-linux-$arch
patch --strip=0 --input=${srcdir}/fzn-gecode-gist-lib-path.patch
}
@@ -36,7 +36,7 @@ package() {
mkdir -p $pkgdir/opt/$pkgname
# Copy MiniZinc files
- cp -r $srcdir/MiniZincIDE-$pkgver-bundle-linux/* $pkgdir/opt/$pkgname
+ cp -r $srcdir/MiniZincIDE-$pkgver-bundle-linux-$arch/* $pkgdir/opt/$pkgname
# Copy MiniZinc launcher
mkdir -p $pkgdir/usr/share/applications