basic working version for arch/manjaro

diff --git a/candi.sh b/candi.sh
index 9794c20e6b6419e3f8db1ec2de0486c54de245f1..86eb06970a37a0d00339c598be3c28a8349e786f 100755 (executable)
--- 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 (file)
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}"
+