diff options
Diffstat (limited to 'ext/mcpat/makefile')
| -rw-r--r-- | ext/mcpat/makefile | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/ext/mcpat/makefile b/ext/mcpat/makefile new file mode 100644 index 000000000..27f213fa5 --- /dev/null +++ b/ext/mcpat/makefile @@ -0,0 +1,28 @@ +TAR = mcpat + +.PHONY: dbg opt depend clean clean_dbg clean_opt + +all: opt + +dbg: $(TAR).mk obj_dbg + @$(MAKE) TAG=dbg -C . -f $(TAR).mk + +opt: $(TAR).mk obj_opt + @$(MAKE) TAG=opt -C . -f $(TAR).mk + +obj_dbg: + mkdir $@ + +obj_opt: + mkdir $@ + +clean: clean_dbg clean_opt + +clean_dbg: obj_dbg + @$(MAKE) TAG=dbg -C . -f $(TAR).mk clean + rm -rf $< + +clean_opt: obj_opt + @$(MAKE) TAG=opt -C . -f $(TAR).mk clean + rm -rf $< + |