From 9a735a8d10f54346b6174a94355aecb47e5e6539 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Uwe=20K=C3=B6cher?= Date: Mon, 2 Jun 2014 13:49:24 +0200 Subject: [PATCH] updated gcc to version 4.9.0, tested FEniCS 1.3.0(unstable) with gcc-4.9.0/openmpi-1.6.5 on fedora20 successfully --- gcc/platforms/supported/fedora20.platform | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 gcc/platforms/supported/fedora20.platform diff --git a/gcc/platforms/supported/fedora20.platform b/gcc/platforms/supported/fedora20.platform new file mode 100644 index 0000000..ed2eb24 --- /dev/null +++ b/gcc/platforms/supported/fedora20.platform @@ -0,0 +1,18 @@ +# fedora 20 + +# This build script assumes that you have several packages already +# installed via Fedora's yum using the following command: +# +# su -c 'yum install -y \ +# @development-tools gcc-c++ \ +# glibc glibc-devel glibc.i686 glibc-devel.i686 \ +# libmpc libmpc-devel mpfr mpfr-devel gmp gmp-devel \ +# gzip bzip2 ' +# +## + +# Define the packages this platform needs +PACKAGES=( +once:gcc +) + -- 2.39.5