]> https://gitweb.dealii.org/ - dealii.git/commitdiff
remove muparser setting 7602/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 15 Jan 2019 19:32:37 +0000 (12:32 -0700)
committerTimo Heister <timo.heister@gmail.com>
Tue, 15 Jan 2019 19:32:37 +0000 (12:32 -0700)
contrib/utilities/run_clang_tidy.sh

index 509b3624b4a6f975e8675c40962722f09b85ffbe..f6eab87e2ae5f18964d173b232296284acae35fe 100755 (executable)
@@ -41,10 +41,9 @@ fi
 echo "SRC-DIR=$SRC"
 
 # do not allow bundled packages, otherwise we get too many warnings from TBB/UMFPACK/etc.
-# disable muparser (to avoid warnings with bundled one)
 # enable MPI (to get MPI warnings)
 # export compile commands (so that run-clang-tidy.py works)
-ARGS="-D DEAL_II_ALLOW_BUNDLED=OFF -D DEAL_II_WITH_MUPARSER=OFF -D DEAL_II_WITH_MPI=ON -D CMAKE_EXPORT_COMPILE_COMMANDS=ON $@"
+ARGS="-D DEAL_II_ALLOW_BUNDLED=OFF -D DEAL_II_WITH_MPI=ON -D CMAKE_EXPORT_COMPILE_COMMANDS=ON $@"
 
 # disable performance-inefficient-string-concatenation because we don't care about "a"+to_string(5)+...
 CHECKS="-*,

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.