Bump barvinok to 0.41.8

inducer · Nov 25, 2024 · 6515586 · 6515586
1 parent caad86e
commit 6515586
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build-with-barvinok.sh b/build-with-barvinok.sh
@@ -12,7 +12,7 @@ fi
 PREFIX="$1"
 GMP_PREFIX="${2:-$PREFIX}"
 NTL_VER="10.5.0"
-BARVINOK_GIT_REV="barvinok-0.41.7"
+BARVINOK_GIT_REV="barvinok-0.41.8"
 NPROCS=6
 
 function with_echo()