From 65155869e097b6502d827ab0067187f1ccf836c0 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sun, 24 Nov 2024 23:45:52 -0600
Subject: [PATCH] Bump barvinok to 0.41.8

---
 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 6174e6e..ac10ea9 100755
--- 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()