diff options
| -rwxr-xr-x | build_and_test_until | 6 | ||||
| -rw-r--r-- | makefile | 3 |
2 files changed, 6 insertions, 3 deletions
diff --git a/build_and_test_until b/build_and_test_until index e001ed5e..1c454ad1 100755 --- a/build_and_test_until +++ b/build_and_test_until @@ -6,6 +6,6 @@ set -e set -v make tangle/tangle make enumerate/enumerate -./tangle/tangle $(./enumerate/enumerate --until $* |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc -cat /dev/null $(./enumerate/enumerate --until $* |grep '.mu$') > core.mu -CXX=${CXX:-clang++} CFLAGS=${CFLAGS:-"-O3 -fsanitize=undefined"} make valgrind +./tangle/tangle $(./enumerate/enumerate --until $1 |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc +cat /dev/null $(./enumerate/enumerate --until $1 |grep '.mu$') > core.mu +CXX=${CXX:-clang++} CFLAGS=${CFLAGS:-"-O3 -fsanitize=undefined"} make ${2:-valgrind} diff --git a/makefile b/makefile index 27d4cbd6..e620a87c 100644 --- a/makefile +++ b/makefile @@ -46,6 +46,9 @@ test_list: mu.cc # .PHONY: all autogenerated_lists clean clena +test: autogenerated_lists mu_bin core.mu + ./mu_bin test + valgrind: autogenerated_lists mu_bin core.mu valgrind --leak-check=yes -q --error-exitcode=1 ./mu_bin test |