From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Wed, 16 Feb 2022 21:09:35 +0000 (+0100)
Subject: Bump symengine version 0.8.1
X-Git-Tag: v9.4.0-r1~10^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3769e0f155ae30e4897969030f28d5d9b72f93e4;p=candi.git

Bump symengine version 0.8.1
---

diff --git a/deal.II-toolchain/packages/symengine.package b/deal.II-toolchain/packages/symengine.package
index bc67287..2e5833c 100644
--- a/deal.II-toolchain/packages/symengine.package
+++ b/deal.II-toolchain/packages/symengine.package
@@ -10,16 +10,21 @@ fi
 
 if [ ${CANDI_SYMENGINE_LOAD_TARBALL} = ON ]; then
   # download release tarball
-  VERSION=0.7.0
+  VERSION=0.8.1
   CHECKSUM=72b8f1442fd3084c96e59d9fe87eec1a
 
+  # VERSION=0.7.0
+  # CHECKSUM=72b8f1442fd3084c96e59d9fe87eec1a
+
   NAME=symengine-${VERSION}
   SOURCE=https://github.com/symengine/symengine/releases/download/v${VERSION}/
   EXTRACTSTO=${NAME}
   PACKING=.tar.gz
 else
   # download git repository
-  VERSION=v0.7.0
+  VERSION=v0.8.1
+
+  # VERSION=v0.7.0
 
   NAME=symengine.git
   SOURCE=https://github.com/symengine/
@@ -36,7 +41,14 @@ INSTALL_PATH=${INSTALL_PATH}/symengine-${VERSION}
 CONFOPTS="\
   -D BUILD_SHARED_LIBS:BOOL=ON \
   -D BUILD_TESTS:BOOL=OFF \
-  -D BUILD_BENCHMARKS:BOOL=OFF"
+  -D BUILD_BENCHMARKS:BOOL=OFF \
+  -D INTEGER_CLASS=flint \
+  -D WITH_BOOST:BOOL=ON \
+  -D WITH_GMP:BOOL=ON \
+  -D WITH_LLVM:BOOL=ON \
+  -D WITH_MPC:BOOL=ON \
+  -D WITH_MPFR:BOOL=ON \
+  -D WITH_SYMENGINE_THREAD_SAFE:BOOL=ON"
 
 package_specific_register() {
   export SYMENGINE_DIR=${INSTALL_PATH}