Add makefile.

This commit is contained in:
Glenn Y. Rolland 2016-07-26 23:25:03 +02:00
parent 44f48dd8ab
commit 0fef89d4ef
3 changed files with 18 additions and 0 deletions

1
.gitignore vendored Normal file
View file

@ -0,0 +1 @@
_build

16
Makefile Normal file
View file

@ -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

1
the-bridge/Makefile Symbolic link
View file

@ -0,0 +1 @@
../Makefile