From 364eabc786479b29a1b71cb8c2f6b0b28196ed37 Mon Sep 17 00:00:00 2001
From: Henry <Henry>
Date: Mon, 6 May 2013 22:26:06 +0100
Subject: [PATCH] wmake: Added support for gcc-4.8.?
---
etc/config/settings.csh | 7 +++++++
etc/config/settings.sh | 6 ++++++
2 files changed, 13 insertions(+)
diff --git a/etc/config/settings.csh b/etc/config/settings.csh
index a909e02de69..a276a971672 100644
--- a/etc/config/settings.csh
+++ b/etc/config/settings.csh
@@ -224,6 +224,13 @@ case ThirdParty:
set mpfr_version=mpfr-3.1.0
set mpc_version=mpc-0.9
breaksw
+ case Gcc48:
+ case Gcc48++0x:
+ set gcc_version=gcc-4.8.0
+ set gmp_version=gmp-5.0.4
+ set mpfr_version=mpfr-3.1.0
+ set mpc_version=mpc-0.9
+ breaksw
case Gcc47:
case Gcc47++0x:
set gcc_version=gcc-4.7.2
diff --git a/etc/config/settings.sh b/etc/config/settings.sh
index 1d4800d471b..0a46c308a9c 100644
--- a/etc/config/settings.sh
+++ b/etc/config/settings.sh
@@ -246,6 +246,12 @@ OpenFOAM | ThirdParty)
mpfr_version=mpfr-3.1.0
mpc_version=mpc-0.9
;;
+ Gcc48 | Gcc48++0x)
+ gcc_version=gcc-4.8.0
+ gmp_version=gmp-5.0.4
+ mpfr_version=mpfr-3.1.0
+ mpc_version=mpc-0.9
+ ;;
Gcc47 | Gcc47++0x)
gcc_version=gcc-4.7.2
gmp_version=gmp-5.0.4
--
GitLab