From e6c825d6b103592dc64656e42cd1fb5624cd8e43 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 25 Apr 2018 15:30:44 -0400
Subject: [PATCH] disable boost inside adolc

---
 deal.II-toolchain/packages/adolc.package | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deal.II-toolchain/packages/adolc.package b/deal.II-toolchain/packages/adolc.package
index 0ce0698..f5d8054 100644
--- a/deal.II-toolchain/packages/adolc.package
+++ b/deal.II-toolchain/packages/adolc.package
@@ -38,7 +38,7 @@ BUILDCHAIN=autotools
 BUILDDIR=${BUILD_PATH}/adolc-${VERSION}
 INSTALL_PATH=${INSTALL_PATH}/adolc-${VERSION}
 
-CONFOPTS="--enable-atrig-erf"
+CONFOPTS="--enable-atrig-erf --with-boost=no"
 
 package_specific_register () {
     export ADOLC_DIR=${INSTALL_PATH}
-- 
2.39.5