Use carl master14 branch

1 files changed, 3 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index dd8872ad7ee5..08ac6bbd6675 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 # Maintainer: Sascha Wunderlich <archlinux at saschawunderlich dot de>
 pkgname=stormchecker-git
-pkgver=1.1.0.r129.gbac50a32a
+pkgver=1.3.0.r380.g28f8c9d82
 pkgrel=1
 pkgdesc="Storm is a tool for the analysis of systems involving random or probabilistic phenomena"
 arch=(i686 x86_64)
@@ -12,7 +12,7 @@ provides=('stormchecker')
 # TODO: mathsat?
 # TODO: sylvan is always shipped at the moment
 # TODO: carl-git hides some dependencies here
-depends=(glpk hwloc xerces-c z3 carl-git)
+depends=(glpk hwloc xerces-c z3 carl-master14-git)
 makedepends=(git cmake)
 source=("stormchecker-git::git+https://github.com/moves-rwth/storm.git")
 md5sums=('SKIP')
@@ -38,5 +38,5 @@ build() {
 
 package() {
   cd "$pkgname"/build
-  make DESTDIR="$pkgdir/" install/fast
+  make DESTDIR="$pkgdir/" install
 }