diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile new file mode 100644 index 0000000..8634a5c --- /dev/null +++ b/tools/Makefile @@ -0,0 +1,18 @@ +include ../Makefile.config + +include Makefile.tools + +all : $(TOOLS) + +# I know, this can be done better... +%.o : *.h + +wasm_compile : wasm_compile.o assemble.o parse_module.o translate.o + +VGAdump2ppm : VGAdump2ppm.o + +clean : + rm *.o 2>/dev/null || true + find . -executable -type f -delete + +.PHONY : clean all |