From 0ebfd115f59ad30f4895e9578056f19a86188060 Mon Sep 17 00:00:00 2001
From: alemuntoni <muntoni.alessandro@gmail.com>
Date: Tue, 17 Nov 2020 19:38:22 +0100
Subject: [PATCH] scripts allow to build with double precision

---
 scripts/Linux/1_build.sh   | 7 ++++++-
 scripts/Windows/1_build.sh | 7 ++++++-
 scripts/macOS/1_build.sh   | 7 ++++++-
 3 files changed, 18 insertions(+), 3 deletions(-)

diff --git a/scripts/Linux/1_build.sh b/scripts/Linux/1_build.sh
index c41f55d85..0b844f887 100644
--- a/scripts/Linux/1_build.sh
+++ b/scripts/Linux/1_build.sh
@@ -17,6 +17,7 @@ SOURCE_PATH=$SCRIPTS_PATH/../../src
 BUILD_PATH=$SOURCE_PATH/build
 INSTALL_PATH=$SOURCE_PATH/install/usr/
 CORES="-j4"
+DOUBLE_PRECISION_OPTION=""
 
 #check parameters
 for i in "$@"
@@ -34,6 +35,10 @@ case $i in
     CORES=$i
     shift # past argument=value
     ;;
+    --double_precision*)
+    DOUBLE_PRECISION_OPTION="-DBUILD_WITH_DOUBLE_SCALAR=ON"
+    shift # past argument=value
+    ;;
     *)
           # unknown option
     ;;
@@ -56,6 +61,6 @@ BUILD_PATH=$(realpath $BUILD_PATH)
 INSTALL_PATH=$(realpath $INSTALL_PATH)
 
 cd $BUILD_PATH
-cmake -DCMAKE_BUILD_TYPE=MinSizeRel -DCMAKE_INSTALL_PREFIX=$INSTALL_PATH $SOURCE_PATH
+cmake -DCMAKE_BUILD_TYPE=MinSizeRel -DCMAKE_INSTALL_PREFIX=$INSTALL_PATH $DOUBLE_PRECISION_OPTION $SOURCE_PATH
 make $CORES
 make install
diff --git a/scripts/Windows/1_build.sh b/scripts/Windows/1_build.sh
index c3240887d..8e121ea3b 100644
--- a/scripts/Windows/1_build.sh
+++ b/scripts/Windows/1_build.sh
@@ -17,6 +17,7 @@ SOURCE_PATH=$SCRIPTS_PATH/../../src
 BUILD_PATH=$SOURCE_PATH/build
 INSTALL_PATH=$SOURCE_PATH/install
 CORES="-j4"
+DOUBLE_PRECISION_OPTION=""
 
 #check parameters
 for i in "$@"
@@ -34,6 +35,10 @@ case $i in
     CORES=$i
     shift # past argument=value
     ;;
+    --double_precision*)
+    DOUBLE_PRECISION_OPTION="-DBUILD_WITH_DOUBLE_SCALAR=ON"
+    shift # past argument=value
+    ;;
     *)
           # unknown option
     ;;
@@ -60,6 +65,6 @@ echo "INSTALL PATH: "$INSTALL_PATH
 echo "SCRIPTS PATH: "$SCRIPTS_PATH
 
 cd $BUILD_PATH
-cmake -G "NMake Makefiles" -DCMAKE_BUILD_TYPE=MinSizeRel -DCMAKE_INSTALL_PREFIX=$INSTALL_PATH $SOURCE_PATH
+cmake -G "NMake Makefiles" -DCMAKE_BUILD_TYPE=MinSizeRel -DCMAKE_INSTALL_PREFIX=$INSTALL_PATH $DOUBLE_PRECISION_OPTION $SOURCE_PATH
 jom $CORES #Qt nmake for parallel build
 nmake install
diff --git a/scripts/macOS/1_build.sh b/scripts/macOS/1_build.sh
index 21f290234..9efa03de2 100644
--- a/scripts/macOS/1_build.sh
+++ b/scripts/macOS/1_build.sh
@@ -22,6 +22,7 @@ SOURCE_PATH=$SCRIPTS_PATH/../../src
 BUILD_PATH=$SOURCE_PATH/build
 INSTALL_PATH=$SOURCE_PATH/install
 CORES="-j4"
+DOUBLE_PRECISION_OPTION=""
 
 #check parameters
 for i in "$@"
@@ -39,6 +40,10 @@ case $i in
     CORES=$i
     shift # past argument=value
     ;;
+    --double_precision*)
+    DOUBLE_PRECISION_OPTION="-DBUILD_WITH_DOUBLE_SCALAR=ON"
+    shift # past argument=value
+    ;;
     *)
           # unknown option
     ;;
@@ -58,6 +63,6 @@ then
 fi
 
 cd $BUILD_PATH
-cmake -DCMAKE_BUILD_TYPE=MinSizeRel -DCMAKE_INSTALL_PREFIX=$INSTALL_PATH $SOURCE_PATH
+cmake -DCMAKE_BUILD_TYPE=MinSizeRel -DCMAKE_INSTALL_PREFIX=$INSTALL_PATH $DOUBLE_PRECISION_OPTION $SOURCE_PATH
 make $CORES
 make install