version 5.5 pkgrel 1

Compile steps:
  make minisat2-download
  make libzip-download zlib-download
  make libzip-build (* Not in COMPILING file *)
  make

Signed-off-by: PythonShell <pythonshell@yeah.net>

2 files changed, 23 insertions, 18 deletions

diff --git a/.SRCINFO b/.SRCINFO
index dee906f2bcc9..cffca2b4a395 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,22 +1,23 @@
 pkgbase = cbmc
 	pkgdesc = Bounded Model Checking for ANSI-C
-	pkgver = 5.4
+	pkgver = 5.5
 	pkgrel = 1
 	url = http://www.cprover.org/cbmc/
 	arch = i686
 	arch = x86_64
 	license = custom
-	makedepends = subversion
-	makedepends = flex
-	makedepends = bison
-	makedepends = make
 	makedepends = patch
+	makedepends = make
 	makedepends = perl-libwww
+	makedepends = perl-lwp-protocol-https
+	depends = flex
+	depends = bison
 	provides = cbmc
 	conflicts = cbmc
+	conflicts = cbmc-git
 	conflicts = cbmc-bin
-	source = cbmc::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.4
-	sha1sums = SKIP
+	source = https://github.com/diffblue/cbmc/archive/cbmc-5.5.tar.gz
+	sha256sums = 748dbdfe37fb91b2755fdeaa61d20aa0b3a18df184d6be6ec283e7f2492537d9
 
 pkgname = cbmc
 
diff --git a/PKGBUILD b/PKGBUILD
index 7b300bd6982e..6f400d0c53f9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,33 +1,37 @@
 # Maintainer: Python Shell <pythonshell@yeah.net>
 
 pkgname=cbmc
-pkgver=5.4
+pkgver=5.5
 pkgrel=1
 pkgdesc="Bounded Model Checking for ANSI-C"
 arch=('i686' 'x86_64')
 url="http://www.cprover.org/cbmc/"
 license=('custom')
-makedepends=('subversion' 'flex' 'bison' 'make' 'patch' 'perl-libwww')
-source=("${pkgname}::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.4")
-sha1sums=('SKIP')
-
+depends=('flex' 'bison')
+makedepends=('patch' 'make' 'perl-libwww' 'perl-lwp-protocol-https')
 provides=('cbmc')
-conflicts=('cbmc' 'cbmc-bin')
+conflicts=('cbmc' 'cbmc-git' 'cbmc-bin')
+source=("https://github.com/diffblue/cbmc/archive/cbmc-5.5.tar.gz")
+sha256sums=('748dbdfe37fb91b2755fdeaa61d20aa0b3a18df184d6be6ec283e7f2492537d9')
+
+_pkg_src_root="${pkgname}-${pkgname}-${pkgver}"
 
 build() {
-    cd "${srcdir}/${pkgname}/src/"
+    cd "${srcdir}/${_pkg_src_root}/src/"
     make minisat2-download
+    make libzip-download zlib-download
+    make libzip-build
     make
 }
 
 package() {
-    install -D "${srcdir}/${pkgname}/src/cbmc/cbmc"\
+    install -D "${srcdir}/${_pkg_src_root}/src/cbmc/cbmc"\
         "${pkgdir}/usr/bin/cbmc"
-    install -D "${srcdir}/${pkgname}/src/goto-cc/goto-cc"\
+    install -D "${srcdir}/${_pkg_src_root}/src/goto-cc/goto-cc"\
         "${pkgdir}/usr/bin/goto-cc"
-    install -D "${srcdir}/${pkgname}/src/goto-instrument/goto-instrument"\
+    install -D "${srcdir}/${_pkg_src_root}/src/goto-instrument/goto-instrument"\
         "${pkgdir}/usr/bin/goto-instrument"
     install -D -m644\
-        "${srcdir}/${pkgname}/LICENSE"\
+        "${srcdir}/${_pkg_src_root}/LICENSE"\
         "${pkgdir}/usr/share/licenses/cbmc/LICENSE"
 }