From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 2 Mar 2020 21:53:23 +0000 (-0500)
Subject: basic working version for arch/manjaro
X-Git-Tag: v9.2.0-r1~2^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e1fa293bd1f75db559352c6b4867d7b9ca54983f;p=candi.git

basic working version for arch/manjaro
---

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}"
+