Fix pkgbuild

2 files changed, 7 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c958cc233c1b..c417571fab78 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,3 +1,5 @@
+# Generated by mksrcinfo v8
+# Thu Mar 31 17:23:41 UTC 2016
 pkgbase = cvc4-git
 	pkgdesc = An automatic theorem prover for SMT problems.
 	pkgver = v1.4
@@ -5,7 +7,7 @@ pkgbase = cvc4-git
 	url = http://cvc4.cs.nyu.edu/web/
 	arch = x86_64
 	arch = i686
-	license = GPLv3
+	license = BSD
 	makedepends = git
 	makedepends = gcc
 	makedepends = make
diff --git a/PKGBUILD b/PKGBUILD
index 72560a683adf..098c280be018 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,11 +1,12 @@
 # Maintainer: Brent Carmer <bcarmer@gmail.com>
 pkgname=cvc4-git
+_pkgname=CVC4
 
 pkgver=v1.4
 pkgver() {
-      cd "$_pkgname"
-        git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
-    }
+    cd "$_pkgname"
+    git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
+}
 
 pkgrel=1
 pkgdesc="An automatic theorem prover for SMT problems."