From a8255c85c65f04266af53940af50adc059c178a9 Mon Sep 17 00:00:00 2001
From: Deyaaeldeen Almahallawi <dalmahal@indiana.edu>
Date: Wed, 4 Jul 2018 12:58:36 -0400
Subject: [PATCH] adding flag to bundle pet with barvinok build

---
 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 4370aef..04a003c 100755
--- a/build-with-barvinok.sh
+++ b/build-with-barvinok.sh
@@ -31,7 +31,7 @@ if true; then
   git checkout $BARVINOK_GIT_REV
   ./get_submodules.sh
   sh autogen.sh
-  ./configure --prefix="$PREFIX" --with-ntl-prefix="$PREFIX" --enable-shared-barvinok
+  ./configure --prefix="$PREFIX" --with-ntl-prefix="$PREFIX" --enable-shared-barvinok --with-pet=bundled
 
   make -j$NPROCS
   make install
-- 
GitLab