diff options
Diffstat (limited to 'src/versions/standard/Makefile')
| -rw-r--r-- | src/versions/standard/Makefile | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/versions/standard/Makefile b/src/versions/standard/Makefile index da82e43..21c0d54 100644 --- a/src/versions/standard/Makefile +++ b/src/versions/standard/Makefile @@ -2,7 +2,7 @@ ## v # The Coq Proof Assistant ## ## <O___,, # INRIA - CNRS - LIX - LRI - PPS ## ## \VV/ # ## -## // # Makefile automagically generated by coq_makefile V8.5pl1 ## +## // # Makefile automagically generated by coq_makefile V8.5pl2 ## ############################################################################# # WARNING @@ -71,6 +71,8 @@ COQLIBS?=\ -I "versions/standard"\ -I "versions/standard/Int63"\ -I "versions/standard/Array" +COQCHKLIBS?=\ + -R "." SMTCoq COQDOCLIBS?=\ -R "." SMTCoq @@ -175,6 +177,7 @@ VFILES:=versions/standard/Int63/Int63.v\ versions/standard/Int63/Int63Axioms.v\ versions/standard/Int63/Int63Properties.v\ versions/standard/Array/PArray.v\ + versions/standard/Structures.v\ cnf/Cnf.v\ euf/Euf.v\ lia/Lia.v\ @@ -326,7 +329,7 @@ all-gal.pdf: $(VFILES) $(COQDOC) -toc $(COQDOCFLAGS) -pdf -g $(COQDOCLIBS) -o $@ `$(COQDEP) -sort -suffix .v $^` validate: $(VOFILES) - $(COQCHK) $(COQCHKFLAGS) $(COQLIBS) $(notdir $(^:.vo=)) + $(COQCHK) $(COQCHKFLAGS) $(COQCHKLIBS) $(notdir $(^:.vo=)) beautify: $(VFILES:=.beautified) for file in $^; do mv $${file%.beautified} $${file%beautified}old && mv $${file} $${file%.beautified}; done @@ -529,13 +532,13 @@ $(MLLIBFILES:.mllib=.cmxs): %.cmxs: %.cmxa $(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -linkall -shared -o $@ $< $(VOFILES): %.vo: %.v - $(COQC) $(COQDEBUG) $(COQFLAGS) $* + $(COQC) $(COQDEBUG) $(COQFLAGS) $< $(GLOBFILES): %.glob: %.v - $(COQC) $(COQDEBUG) $(COQFLAGS) $* + $(COQC) $(COQDEBUG) $(COQFLAGS) $< $(VFILES:.v=.vio): %.vio: %.v - $(COQC) -quick $(COQDEBUG) $(COQFLAGS) $* + $(COQC) -quick $(COQDEBUG) $(COQFLAGS) $< $(GFILES): %.g: %.v $(GALLINA) $< @@ -556,7 +559,7 @@ $(addsuffix .d,$(VFILES)): %.v.d: %.v $(COQDEP) $(COQLIBS) "$<" > "$@" || ( RV=$$?; rm -f "$@"; exit $${RV} ) $(addsuffix .beautified,$(VFILES)): %.v.beautified: - $(COQC) $(COQDEBUG) $(COQFLAGS) -beautify $* + $(COQC) $(COQDEBUG) $(COQFLAGS) -beautify $*.v # WARNING # |