From: Jean-Paul Pelteret <jppelteret@gmail.com>
Date: Sat, 16 Apr 2022 19:09:53 +0000 (+0200)
Subject: ADOL-C: Add default options that are most useful/defensive for users
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F289%2Fhead;p=candi.git

ADOL-C: Add default options that are most useful/defensive for users
---

diff --git a/deal.II-toolchain/packages/adolc.package b/deal.II-toolchain/packages/adolc.package
index 29f0cb3..0c53d64 100644
--- a/deal.II-toolchain/packages/adolc.package
+++ b/deal.II-toolchain/packages/adolc.package
@@ -34,7 +34,7 @@ BUILDCHAIN=autotools
 BUILDDIR=${BUILD_PATH}/adolc-${VERSION}
 INSTALL_PATH=${INSTALL_PATH}/adolc-${VERSION}
 
-CONFOPTS="--enable-atrig-erf --with-boost=no"
+CONFOPTS="--enable-advanced-branching --enable-atrig-erf --enable-traceless_refcounting --enable-stdczero --with-boost=no"
 
 package_specific_register () {
     export ADOLC_DIR=${INSTALL_PATH}