From c9f9aa069b44c54a0f2bffcc631d56fdd8041f73 Mon Sep 17 00:00:00 2001
From: Henrik Rusche <h.rusche@wikki-gmbh.de>
Date: Fri, 1 Feb 2019 13:35:25 +0100
Subject: [PATCH] Switched target for 64BitInts

---
 etc/settings.csh | 3 ++-
 etc/settings.sh  | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/etc/settings.csh b/etc/settings.csh
index 71a110a5a..ef74bd6fa 100644
--- a/etc/settings.csh
+++ b/etc/settings.csh
@@ -41,7 +41,8 @@ setenv FOAM_JOB_DIR $WM_PROJECT_INST_DIR/jobControl
 # wmake configuration
 setenv WM_DIR $WM_PROJECT_DIR/wmake
 setenv WM_LINK_LANGUAGE c++
-setenv WM_OPTIONS $WM_ARCH$WM_COMPILER$WM_PRECISION_OPTION$WM_COMPILE_OPTION
+setenv WM_LABEL_OPTION "Int$WM_LABEL_SIZE"
+setenv WM_OPTIONS "$WM_ARCH$WM_COMPILER$WM_PRECISION_OPTION$WM_LABEL_OPTION$WM_COMPILE_OPTION"
 set path=($WM_DIR $path)
 
 # base configuration
diff --git a/etc/settings.sh b/etc/settings.sh
index 4f8ae8790..6b138c0c5 100755
--- a/etc/settings.sh
+++ b/etc/settings.sh
@@ -79,7 +79,8 @@ export FOAM_JOB_DIR=$HOME/$WM_PROJECT/jobControl
 # wmake configuration
 export WM_DIR=$WM_PROJECT_DIR/wmake
 export WM_LINK_LANGUAGE=c++
-export WM_OPTIONS=$WM_ARCH$WM_COMPILER$WM_PRECISION_OPTION$WM_COMPILE_OPTION
+export WM_LABEL_OPTION="Int$WM_LABEL_SIZE"
+export WM_OPTIONS="$WM_ARCH$WM_COMPILER$WM_PRECISION_OPTION$WM_LABEL_OPTION$WM_COMPILE_OPTION"
 export PATH=$WM_DIR:$PATH
 
 # base configuration