From 3769e0f155ae30e4897969030f28d5d9b72f93e4 Mon Sep 17 00:00:00 2001
From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Wed, 16 Feb 2022 22:09:35 +0100
Subject: [PATCH] Bump symengine version 0.8.1

---
 deal.II-toolchain/packages/symengine.package | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

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}
-- 
2.39.5