From 5587ee66eacdddc1e1eb3df0dc7bcf2ef4324b77 Mon Sep 17 00:00:00 2001 From: Timo Heister 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