From 7c82ed140c89fd1729127523a04991ed93b63d90 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Tue, 15 Jun 2021 17:11:20 +1000
Subject: [PATCH] Add scripts for compiling

---
 .gitignore |  2 ++
 clean.sh   |  4 ++++
 install.sh | 16 ++++++++++++++++
 3 files changed, 22 insertions(+)
 create mode 100755 clean.sh
 create mode 100755 install.sh

diff --git a/.gitignore b/.gitignore
index e660fd9..5fc97ab 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 bin/
+software/build/
+software/install/
diff --git a/clean.sh b/clean.sh
new file mode 100755
index 0000000..df91a60
--- /dev/null
+++ b/clean.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+set -e
+
+rm -rf software/build/* software/install/*
diff --git a/install.sh b/install.sh
new file mode 100755
index 0000000..799c08a
--- /dev/null
+++ b/install.sh
@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+set -e
+
+module load Bison
+module load CMake
+module load flex
+
+mkdir -p software/{build,install}
+
+# Build Chuffed
+for dir in "chuffed" "chuffed_on_restart" "gecode" "gecode_on_record" "gecode_on_replay" "gecode_on_restart"
+do
+	cmake -S software/${dir} -B software/build/${dir} -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/${dir}
+	cmake --build software/build/${dir} --config Release --target install
+done
+