diff options
| -rw-r--r-- | makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/makefile b/makefile index 3edf546c..b0f6280c 100644 --- a/makefile +++ b/makefile @@ -44,13 +44,13 @@ BUILD_SRC=$(wildcard .build/*.cc) mu.cc: [0-9]*.cc enumerate/enumerate tangle/tangle ./tangle/tangle $$(./enumerate/enumerate --until zzz |grep -v '.mu$$') > mu.cc -enumerate/enumerate: +enumerate/enumerate: enumerate/*.cc cd enumerate && make -tangle/tangle: +tangle/tangle: tangle/*.cc cd tangle && make && ./tangle test -cleave/cleave: cleave/cleave.cc +cleave/cleave: cleave/*.cc cd cleave && make rm -rf .build |