diff options
author | PythonShell | 2018-09-20 15:14:37 +0800 |
---|---|---|
committer | PythonShell | 2018-09-20 15:14:37 +0800 |
commit | 912a323ce4a6e29fc6e4f12a3c6bb6db879fa189 (patch) | |
tree | 12a59579d08007625dc736577e4f91acce673591 | |
parent | 66f721ccc20ce7a98f9d5e8520288fe8c1b32b0f (diff) | |
download | aur-912a323ce4a6e29fc6e4f12a3c6bb6db879fa189.tar.gz |
version 5.10 pkgrel 1
Signed-off-by: PythonShell <pythonshell@yeah.net>
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 15 |
2 files changed, 10 insertions, 13 deletions
@@ -1,6 +1,6 @@ pkgbase = cbmc-bin pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.9 + pkgver = 5.10 pkgrel = 1 url = http://www.cprover.org/cbmc/ arch = i686 @@ -8,9 +8,9 @@ pkgbase = cbmc-bin license = custom provides = cbmc conflicts = cbmc - conflicts = cbmc-bin - source = http://www.cprover.org/cbmc/download/cbmc-5-9-linux-64.tgz - sha256sums = 1932458de5d9bc02145b4370754c991045adea09b9ccdcce89bf4df772638ebd + conflicts = cbmc-git + source = http://www.cprover.org/cbmc/download/cbmc-5-10-linux-64.tgz + sha256sums = 19241d74848f0d85fbbec3f217c6dacd1e7100bae31cf48aef2e501a4e120a9f pkgname = cbmc-bin @@ -2,21 +2,18 @@ # Contributor: Johannes Schlatow <johannes.schlatow@googlemail.com> pkgname=cbmc-bin -pkgver=5.9 +pkgver=5.10 pkgrel=1 pkgdesc="Bounded Model Checking for ANSI-C" arch=('i686' 'x86_64') url="http://www.cprover.org/cbmc/" license=('custom') provides=('cbmc') -conflicts=('cbmc' 'cbmc-bin') -if test "$CARCH" == x86_64; then - source=("http://www.cprover.org/cbmc/download/cbmc-5-9-linux-64.tgz") - sha256sums=('1932458de5d9bc02145b4370754c991045adea09b9ccdcce89bf4df772638ebd') -else - source=("http://www.cprover.org/cbmc/download/cbmc-5-9-linux-32.tgz") - sha256sums=('1a8db38996f4dcb88f0ad2503c9abef088c44b61eaf328f509d0a676ff49b127') -fi +conflicts=('cbmc' 'cbmc-git') +# No longer provide official pre-build x32 pkg. +# Suggest to use cbmc or cbmc-git if you are in x32 platform +source=("http://www.cprover.org/cbmc/download/cbmc-5-10-linux-64.tgz") +sha256sums=('19241d74848f0d85fbbec3f217c6dacd1e7100bae31cf48aef2e501a4e120a9f') package() { install -D "${srcdir}/cbmc" "${pkgdir}/usr/bin/cbmc" |