From 5587ee66eacdddc1e1eb3df0dc7bcf2ef4324b77 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 2 Mar 2020 16:53:23 -0500
Subject: [PATCH] basic working version for arch/manjaro

---
 candi.sh                                         |  6 ++++++
 .../platforms/supported/arch.platform            | 16 ++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 deal.II-toolchain/platforms/supported/arch.platform

diff --git a/candi.sh b/candi.sh
index 9794c20..86eb069 100755
--- a/candi.sh
+++ b/candi.sh
@@ -601,6 +601,12 @@ guess_platform() {
 	if [ "${PRETTY_NAME}" == "openSUSE Leap 15.0" ]; then
 	    echo opensuse15
 	fi
+	if [ "${PRETTY_NAME}" == "Manjaro Linux" ]; then
+	    echo arch
+	fi
+	if [ "${PRETTY_NAME}" == "Arch Linux" ]; then
+	    echo arch
+	fi
     fi
 }
 
diff --git a/deal.II-toolchain/platforms/supported/arch.platform b/deal.II-toolchain/platforms/supported/arch.platform
new file mode 100644
index 0000000..3df0229
--- /dev/null
+++ b/deal.II-toolchain/platforms/supported/arch.platform
@@ -0,0 +1,16 @@
+# Arch Linux / Manjaro
+
+# This build script assumes that you have several packages already
+# installed via pacman using the following command:
+#
+# $ sudo pacman -Syu core/gcc extra/openmpi  extra/cmake \
+# core/make core/awk core/which core/sed core/gcc-fortran \
+# core/grep core/file core/binutils core/diffutils extra/git \
+# extra/lapack
+#
+##
+
+#
+# Define the additional packages for this platform.
+#PACKAGES="once:cmake ${PACKAGES}"
+
-- 
2.39.5