From 1ac2e8a4a6dba56526a60e2c63554314060ef779 Mon Sep 17 00:00:00 2001 From: Jean-Paul Pelteret Date: Sat, 16 Apr 2022 21:09:53 +0200 Subject: [PATCH] ADOL-C: Add default options that are most useful/defensive for users --- 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 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} -- 2.39.5