Commit f78ff383 authored by POTTIER Francois's avatar POTTIER Francois

Add [make mli] in demos/lambda.

parent c420e50c
......@@ -10,17 +10,23 @@ OCAMLBUILD := \
SRC := \
../../src
.PHONY: all test processed clean
MLI := \
$(patsubst %.ml,%.inferred.mli,$(wildcard *.ml))
.PHONY: all test mli processed clean
all:
@ echo 'Re-installing visitors...'
@ make -C $(SRC) reinstall >/dev/null 2>/dev/null
@ echo 'Compiling...'
@ $(OCAMLBUILD) $(TARGET) Term.inferred.mli
@ $(OCAMLBUILD) $(TARGET)
test: all
@ ./$(TARGET)
mli:
@ $(OCAMLBUILD) $(MLI)
include $(SRC)/Makefile.preprocess
processed: Term.processed.ml
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment