From 72d7e2d0297afc5998b5b5c710cd6df9e7741f00 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 19 May 2015 00:03:59 -0700 Subject: 1405 --- makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'makefile') 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 -- cgit 1.4.1-2-gfad0