diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e35d885 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +_build diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..4431722 --- /dev/null +++ b/Makefile @@ -0,0 +1,16 @@ + + +ML_FILES=$(wildcard *.ml) +NATIVE_FILES=$(patsubst %.ml,%.native,$(ML_FILES)) + +all: build + +build: $(NATIVE_FILES) + +clean: + rm -f $(NATIVE_FILES) + +%.native: %.ml + corebuild $@ + +.PHONY: all build clean diff --git a/the-bridge/Makefile b/the-bridge/Makefile new file mode 120000 index 0000000..d0b0e8e --- /dev/null +++ b/the-bridge/Makefile @@ -0,0 +1 @@ +../Makefile \ No newline at end of file