From dab8b8e312d548c89e3702c81fdd773bc0b9070d Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Tue, 26 Sep 2017 16:30:24 +0200
Subject: [PATCH] use cmake option instead of external environment variables

---
 tools/analysis.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/analysis.sh b/tools/analysis.sh
index 4c8a0855a..ea1c441e0 100755
--- a/tools/analysis.sh
+++ b/tools/analysis.sh
@@ -7,9 +7,7 @@
 mkdir -p build
 cd build
 rm * -rf
-export CFLAGS="-O0 -g -fPIC -fdiagnostics-show-option --coverage -fno-inline -Wall"
-export LDFLAGS="--coverage"
-cmake .. -DCHAMELEON_USE_MPI=ON -DCMAKE_INSTALL_PREFIX=$PWD/install -DCMAKE_C_FLAGS="$CFLAGS" -DCMAKE_EXE_LINKER_FLAGS="$LDFLAGS" -DCMAKE_VERBOSE_MAKEFILE=ON
+cmake .. -DCHAMELEON_USE_MPI=ON -DCMAKE_INSTALL_PREFIX=$PWD/install -DCMAKE_C_FLAGS="$CFLAGS" -DCMAKE_EXE_LINKER_FLAGS="$LDFLAGS" -DCMAKE_VERBOSE_MAKEFILE=ON -DMORSE_ENABLE_WARNING=ON -DMORSE_ENABLE_COVERAGE=ON
 make -j5 | tee ../chameleon-build.log
 
 # run tests
-- 
GitLab