renamed/added GTEST path variable

2018-06-09 13:32:33 +02:00
parent 2cfb61fba8
commit 0113d98892
3 changed files with 9 additions and 3 deletions
--- a/CI/ci-linux.sh
+++ b/CI/ci-linux.sh
@@ -10,6 +10,9 @@ OPTIONS=""
 MAKE_OPTIONS=""
 BUILDPATH=""

+# set GTEST path
+OPTIONS = "$OPTIONS -DGTEST_ROOT=~/sw/gtest-1.8.0/"
+
 if [ "$COMPILER" == "gcc" ]; then
  echo "Building with GCC";
  BUILDPATH="gcc"