updated gcc to version 4.9.0, tested FEniCS 1.3.0(unstable) with gcc-4.9.0/openmpi...

diff --git a/gcc/platforms/supported/fedora20.platform b/gcc/platforms/supported/fedora20.platform
new file mode 100644 (file)
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
+)
+