diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/makefile b/makefile index d21a2490..8c37e50a 100644 --- a/makefile +++ b/makefile @@ -1,4 +1,4 @@ -mu: makefile enumerate/enumerate tangle/tangle mu.cc termbox/libtermbox.a autogenerated_lists +mu: makefile enumerate/enumerate tangle/tangle mu.cc termbox/libtermbox.a g++ -g -Wall -Wextra -fno-strict-aliasing mu.cc termbox/libtermbox.a -o mu # To see what the program looks like after all layers have been applied, read @@ -6,6 +6,7 @@ mu: makefile enumerate/enumerate tangle/tangle mu.cc termbox/libtermbox.a autoge mu.cc: 0* ./tangle/tangle $$(./enumerate/enumerate --until 9999 |grep -v '.mu$$') > mu.cc cat $$(./enumerate/enumerate --until 9999 |grep '.mu$$') > core.mu + make --no-print-directory autogenerated_lists enumerate/enumerate: cd enumerate && make && ./enumerate test |