]> https://gitweb.dealii.org/ - candi.git/commitdiff
basic working version for arch/manjaro 136/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 2 Mar 2020 21:53:23 +0000 (16:53 -0500)
committerTimo Heister <timo.heister@gmail.com>
Mon, 2 Mar 2020 21:53:23 +0000 (16:53 -0500)
candi.sh
deal.II-toolchain/platforms/supported/arch.platform [new file with mode: 0644]

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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.