From 1b6af205f4c6bb025c48f79cf18998e15c450a74 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Wed, 21 Mar 2018 19:48:42 -0500
Subject: [PATCH] Update barvinok build script

---
 build-with-barvinok.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-with-barvinok.sh b/build-with-barvinok.sh
index afa67be..4370aef 100755
--- a/build-with-barvinok.sh
+++ b/build-with-barvinok.sh
@@ -8,7 +8,7 @@ echo "BUILDING IN $BUILD_DIR"
 
 PREFIX="$HOME/pack/barvinok"
 NTL_VER="10.5.0"
-BARVINOK_GIT_REV="79944db"
+BARVINOK_GIT_REV="barvinok-0.41"
 NPROCS=30
 
 if true; then
-- 
GitLab