diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 8 |
1 files changed, 7 insertions, 1 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 |