Skip to content

GitLab

A
alphaLib
Commit 63da7435 authored by POTTIER Francois's avatar POTTIER Francois
Browse files
Options

Fix [make processed].

parent 703892ce
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
demos/system-F-type/Makefile
View file @ 63da7435
...@@ -34,7 +34,7 @@ mli: ...@@ -34,7 +34,7 @@ mli:
@ $(OCAMLBUILD) $(MLI) @ $(OCAMLBUILD) $(MLI)
processed: all processed: all
make -C _build -f ../Makefile.preprocess F.processed.ml make -C _build -f $(shell ocamlfind query visitors)/Makefile.preprocess F.processed.ml
clean: clean:
@ rm -f *~ @ rm -f *~
......
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