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 +++++++- 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 -- cgit 1.4.1-2-gfad0