Update ikos 1.2

1 files changed, 6 insertions, 6 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 36fb78dba085..cb9415583c15 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Maxime Arthaud <maxime@arthaud.me>
 
 pkgname=ikos
-pkgver=1.1.0
+pkgver=1.2
 pkgrel=1
 pkgdesc='A static analysis tool for C/C++ developed by NASA'
 arch=('any')
@@ -9,19 +9,19 @@ url='https://ti.arc.nasa.gov/opensource/ikos/'
 license=('custom:NOSA 1.3')
 depends=('gmp' 'boost-libs' 'python' 'sqlite' 'llvm' 'llvm-libs' 'clang')
 makedepends=('cmake' 'boost')
-source=('https://ti.arc.nasa.gov/m/opensource/downloads/ikos/ikos-1.1.0.tar.gz'
+source=("https://ti.arc.nasa.gov/m/opensource/downloads/ikos-$pkgver.tar.gz"
         'https://ti.arc.nasa.gov/m/opensource/downloads/ikos/IKOS_NASA_Open_Source_Agreement.pdf')
-sha512sums=('aee0e0851c6d7a05b1c9f12efd3dba71aafc889c93fcfe958970b88dc2b134ed193f06010501ff0d40f9e5834eb0866b89f17c2a9b3b144c96213f733273dc66'
+sha512sums=('b8d594ae6fd2c6458242eeac30cd6350e2837705e5aae057133ab4a19457161c81c641b68043c807e488e15f352061cd29544c407ca10d7ad9bc98b33e7f44f9'
             '3caeffbe06254b3a181eee1f172bde48d7c8007e989b07928b0ce4e737759d5e2649d25419722c3b7a78ca8ddf408ce150a143490489641527cbcac479c241b7')
 
 prepare() {
-  cd "$srcdir/ikos-1.1.0"
+  cd "$srcdir/ikos-$pkgver"
 
   mkdir build
 }
 
 build() {
-  cd "$srcdir/ikos-1.1.0/build"
+  cd "$srcdir/ikos-$pkgver/build"
 
   cmake \
     -G "Unix Makefiles" \
@@ -33,7 +33,7 @@ build() {
 }
 
 package() {
-  cd "$srcdir/ikos-1.1.0/build"
+  cd "$srcdir/ikos-$pkgver/build"
 
   make install