diff options
| -rw-r--r-- | makefile | 8 | ||||
| -rwxr-xr-x | test_all_layers | 4 |
2 files changed, 9 insertions, 3 deletions
diff --git a/makefile b/makefile index 4f9f0f84..d21a2490 100644 --- a/makefile +++ b/makefile @@ -16,7 +16,7 @@ tangle/tangle: termbox/libtermbox.a: cd termbox && make -.PHONY: autogenerated_lists test valgrind clang clena +.PHONY: autogenerated_lists test valgrind clang opt clang+opt clena test: mu ./mu test @@ -27,6 +27,12 @@ valgrind: clang clang: makefile mu.cc termbox/libtermbox.a autogenerated_lists clang++ -fsanitize=undefined mu.cc termbox/libtermbox.a -o mu +clang+opt: makefile mu.cc termbox/libtermbox.a autogenerated_lists + clang++ -O3 -fsanitize=undefined mu.cc termbox/libtermbox.a -o mu + +opt: makefile enumerate/enumerate tangle/tangle mu.cc termbox/libtermbox.a autogenerated_lists + g++ -O3 -Wall -Wextra -fno-strict-aliasing mu.cc termbox/libtermbox.a -o mu + # auto-generated files; by convention they end in '_list'. autogenerated_lists: mu.cc function_list test_list diff --git a/test_all_layers b/test_all_layers index e4c91640..bb063606 100755 --- a/test_all_layers +++ b/test_all_layers @@ -6,7 +6,7 @@ do ./build_and_test_until $f || exit 0 done -echo "=== chessboard" +echo "=== chessboard" # our most intensive test so far rm mu.cc make clang -mu test chessboard.mu # our most intensive test so far +mu test chessboard.mu |