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 29f0cb31052e5b756aebac04f857c39eb42d4b3e..0c53d646b225f5f297204a43cbe9b3784b3de6b5 100644 (file)
--- 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}