summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDimitris Pappas2018-08-25 18:06:53 +0100
committerDimitris Pappas2018-08-25 18:06:53 +0100
commit34406197b46cbb3f8461b2ce7870580083e3e2e1 (patch)
tree6879caba7008bce3b8b243a321deaad1e0c612cd
parentfcda8df1cf32319e5e8319ced379e19e0bcc0868 (diff)
downloadaur-34406197b46cbb3f8461b2ce7870580083e3e2e1.tar.gz
Fix checksum and build
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD13
2 files changed, 9 insertions, 9 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 943fa9309ea4..fae474efb809 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = minizinc-ide
pkgdesc = Simple IDE for writing and running MiniZinc models
pkgver = 2.2.0
- pkgrel = 1
+ pkgrel = 2
url = http://www.minizinc.org/ide/
arch = x86_64
license = Mozilla Public License Version 2.0
@@ -14,9 +14,10 @@ pkgbase = minizinc-ide
conflicts = libminizinc
source = minizinc-ide.desktop
source = minizinc.png
+ source = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.2.0/MiniZincIDE-2.2.0-bundle-linux-x86_64.tgz
sha256sums = b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1
sha256sums = 1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a
- source_x86_64 = https://github.com/MiniZinc/MiniZincIDE/releases/download/2.2.0/MiniZincIDE-2.2.0-bundle-linux-x86_64.tgz
+ sha256sums = 822d22dff9946e20aa430704a718067e5e8d634965b21c02f174001984ab7c16
pkgname = minizinc-ide
diff --git a/PKGBUILD b/PKGBUILD
index d854033874c4..4fec81a66bff 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
#Maintainer: Dimitris Pappas <mitsakosgr@gmail.com>
pkgname=minizinc-ide
pkgver=2.2.0
-pkgrel=1
+pkgrel=2
pkgdesc="Simple IDE for writing and running MiniZinc models"
arch=('x86_64')
url="http://www.minizinc.org/ide/"
@@ -10,7 +10,8 @@ provides=('minizinc')
conflicts=('libminizinc')
source=('minizinc-ide.desktop'
- 'minizinc.png')
+ 'minizinc.png'
+ https://github.com/MiniZinc/MiniZincIDE/releases/download/"${pkgver}"/MiniZincIDE-"${pkgver}"-bundle-linux-x86_64.tgz)
depends=('libpng12'
'pcre'
@@ -18,11 +19,9 @@ depends=('libpng12'
'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)
-
sha256sums=('b86ef15b8ee1014342a2f38358d7f806a58b900bf1150101b535aecddaa122d1'
- '1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a')
+ '1b9fa21e25c48e1080eaea2348eb98a45242e045b7ba94fe4723a9b01cbcdb2a'
+ '822d22dff9946e20aa430704a718067e5e8d634965b21c02f174001984ab7c16')
package() {
@@ -44,7 +43,7 @@ package() {
install "${srcdir}/"minizinc.png "${pkgdir}"/usr/share/"${pkgname}"
# Move uncompressed files to package
- mv "${srcdir}/"MiniZincIDE-"${pkgver}"-bundle-linux-x86_"${_arch}"/* "${pkgdir}"/usr/share/"${pkgname}"
+ mv "${srcdir}/"MiniZincIDE-"${pkgver}"-bundle-linux/* "${pkgdir}"/usr/share/"${pkgname}"
# Rewrite MiniZincIDE.sh in order to change locations