diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..6553762 --- /dev/null +++ b/Makefile @@ -0,0 +1,10 @@ + +all: + @$(MAKE) -C sml + @$(MAKE) -C examples + +.PHONY: clean +clean : + @$(MAKE) -C sml clean + @$(MAKE) -C examples clean +