diff options
author | Dimitris Pappas | 2018-08-25 18:06:53 +0100 |
---|---|---|
committer | Dimitris Pappas | 2018-08-25 18:06:53 +0100 |
commit | 34406197b46cbb3f8461b2ce7870580083e3e2e1 (patch) | |
tree | 6879caba7008bce3b8b243a321deaad1e0c612cd | |
parent | fcda8df1cf32319e5e8319ced379e19e0bcc0868 (diff) | |
download | aur-34406197b46cbb3f8461b2ce7870580083e3e2e1.tar.gz |
Fix checksum and build
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 13 |
2 files changed, 9 insertions, 9 deletions
@@ -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 @@ -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 |