summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2022-02-27 13:23:48 +0200
committerDimitris Pappas2022-02-27 13:23:48 +0200
commit0b375a0a724e1b434ef814fa3f66a73fa98d6322 (patch)
treebba108be603c85681169861662068667aedcaa67
parentfe2bfc4905695aef449e80ad96fd2e542518c40f (diff)
downloadaur-0b375a0a724e1b434ef814fa3f66a73fa98d6322.tar.gz
Version 2.6.0
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD7
2 files changed, 7 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 75d689be2aae..80926bef0646 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
- pkgver = 2.5.5
+ pkgver = 2.6.0
pkgrel = 1
url = http://www.minizinc.org/ide/
install = minizinc-ide.install
@@ -12,10 +12,10 @@ 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.5.5/MiniZincIDE-2.5.5-bundle-linux-x86_64.tgz
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.6.0/MiniZincIDE-2.6.0-bundle-linux-x86_64.tgz
sha256sums = e0bca68c0897cbcd63bf603ad1f352c16c5fc62ee8f151daa7e793361007d242
sha256sums = 80ab03ebe936ce85b107523ae242d97905763ed30596639e1778cdea796b9e1e
sha256sums = eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023
- sha256sums = da84488bc1e349b78acfc3467d0b20f701bce88ab8e33f30d8627a1fe34a6e63
+ sha256sums = a4174281806aa3c9edad5030f9befbc0fd450d503ad68e91813323870c30e5c9
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index 4c7d3bce002c..27e486153498 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.5.5
+pkgver=2.6.0
pkgrel=1
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=(x86_64)
@@ -20,12 +20,12 @@ source=(
sha256sums=('e0bca68c0897cbcd63bf603ad1f352c16c5fc62ee8f151daa7e793361007d242'
'80ab03ebe936ce85b107523ae242d97905763ed30596639e1778cdea796b9e1e'
'eaa69a6d1b8a3e307d1b400b74273995abb914fbe1246c65fc9b3955b2094023'
- 'da84488bc1e349b78acfc3467d0b20f701bce88ab8e33f30d8627a1fe34a6e63')
+ 'a4174281806aa3c9edad5030f9befbc0fd450d503ad68e91813323870c30e5c9')
prepare() {
# Workaround for https://github.com/MiniZinc/MiniZincIDE/issues/90
cd $srcdir/MiniZincIDE-$pkgver-bundle-linux-$arch
- patch --strip=0 --input=${srcdir}/fzn-gecode-gist-lib-path.patch
+ # patch --strip=0 --input=${srcdir}/fzn-gecode-gist-lib-path.patch
}
package() {
@@ -37,6 +37,7 @@ package() {
# Copy MiniZinc launcher
mkdir -p $pkgdir/usr/share/applications
+ mkdir -p $pkgdir/opt/$pkgname/resources
cp $srcdir/icon.png $pkgdir/opt/$pkgname/resources/icon.png
cp $srcdir/minizinc-ide.desktop $pkgdir/usr/share/applications/minizinc-ide.desktop
}