support ubuntu 20.04

diff --git a/deal.II-toolchain/platforms/supported/ubuntu20.platform b/deal.II-toolchain/platforms/supported/ubuntu20.platform
new file mode 100644 (file)
index 0000000..af43427
--- /dev/null
+++ b/deal.II-toolchain/platforms/supported/ubuntu20.platform
@@ -0,0 +1,18 @@
+# ubuntu 20.04
+#
+# This build script assumes that you have several packages already
+# installed via ubuntu's apt-get using the following commands:
+#
+# > sudo apt-get install build-essential lsb-release wget \
+#   automake autoconf gfortran \
+#   openmpi-bin openmpi-common libopenmpi-dev cmake subversion git \
+#   libblas-dev liblapack-dev libblas3 liblapack3 \
+#   libsuitesparse-dev libtool libboost-all-dev zlib1g-dev
+#
+# Then run candi again.
+##
+
+#
+# Define the additional packages for this platform.
+#PACKAGES="once:cmake ${PACKAGES}"
+