From: Timo Heister 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}" +