Commit dc7699d9 authored by POTTIER Francois's avatar POTTIER Francois

Add a -R directive to load CFML.Stdlib,

because the standard library modules are
required without a prefix in the Coq code
generated by CFML.
parent a1960fd7
......@@ -42,7 +42,8 @@ ifndef V
endif
COQINCLUDE := \
-R $(PWD) EXAMPLE
-R $(shell $(COQBIN)coqc -where)/user-contrib/CFML/Stdlib CFML.Stdlib \
-R $(PWD) EXAMPLE \
##############################################################################
# Options for OCaml.
......
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