diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-15 13:09:33 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-15 13:09:33 -0700 |
commit | 1fd293c13e9e69df1ad65afe451821ef6ba6d941 (patch) | |
tree | 4792629ca9273f51e842fa3310e730be4039f3f8 /makefile | |
parent | 263eb77d6f44e822e59028d5347f4e393c05cf56 (diff) | |
download | mu-1fd293c13e9e69df1ad65afe451821ef6ba6d941.tar.gz |
3362
Diffstat (limited to 'makefile')
-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 |