From dc60643b8885261d173d1618593da7b2c5c02730 Mon Sep 17 00:00:00 2001
From: Kenneth Hoste <kenneth.hoste@ugent.be>
Date: Fri, 7 Oct 2022 20:12:07 +0200
Subject: [PATCH] add CaDiCaL v1.3.0 with GCC/9.3.0

---
 EESSI-pilot-install-software.sh | 7 +++++++
 eessi-2021.12.yml               | 4 ++++
 2 files changed, 11 insertions(+)

diff --git a/EESSI-pilot-install-software.sh b/EESSI-pilot-install-software.sh
index 7312818a2c8..b7cd3c901a1 100755
--- a/EESSI-pilot-install-software.sh
+++ b/EESSI-pilot-install-software.sh
@@ -352,6 +352,13 @@ check_exit_code $? "${ok_msg}" "${fail_msg}"
 
 ### add packages here
 
+export CaDiCaL_EC="CaDiCaL-1.3.0-GCC-9.3.0.eb"
+echo ">> Installing ${CaDiCaL_EC}..."
+ok_msg="${CaDiCaL_EC} installed, let's solve some problems!"
+fail_msg="Installation of ${CaDiCaL_EC} failed, that's a pity..."
+$EB ${CaDiCaL_EC} --robot
+check_exit_code $? "${ok_msg}" "${fail_msg}"
+
 echo ">> Creating/updating Lmod cache..."
 export LMOD_RC="${EASYBUILD_INSTALLPATH}/.lmod/lmodrc.lua"
 if [ ! -f $LMOD_RC ]; then
diff --git a/eessi-2021.12.yml b/eessi-2021.12.yml
index f3ed9dd9c44..dd68e348ee5 100644
--- a/eessi-2021.12.yml
+++ b/eessi-2021.12.yml
@@ -53,3 +53,7 @@ software:
          versions: 
            '3.9.1.1': 
              versionsuffix: -dmpar
+  CaDiCaL:
+     toolchains:
+       GCC-9.3.0:
+         versions: ['1.3.0']