forked from oysteikt/sf1-template
18 lines
874 B
Makefile
18 lines
874 B
Makefile
COQMFFLAGS := -Q . LF
|
|
|
|
ALLVFILES := Preface.v Basics.v Induction.v Lists.v Poly.v Tactics.v Logic.v IndProp.v Maps.v ProofObjects.v IndPrinciples.v Rel.v Imp.v ImpParser.v ImpCEvalFun.v Extraction.v Auto.v AltAuto.v Postscript.v Bib.v PrefaceTest.v BasicsTest.v InductionTest.v ListsTest.v PolyTest.v TacticsTest.v LogicTest.v IndPropTest.v MapsTest.v ProofObjectsTest.v IndPrinciplesTest.v RelTest.v ImpTest.v ImpParserTest.v ImpCEvalFunTest.v ExtractionTest.v AutoTest.v AltAutoTest.v PostscriptTest.v BibTest.v
|
|
|
|
build: Makefile.coq
|
|
$(MAKE) -f Makefile.coq
|
|
|
|
clean::
|
|
if [ -e Makefile.coq ]; then $(MAKE) -f Makefile.coq cleanall; fi
|
|
$(RM) $(wildcard Makefile.coq Makefile.coq.conf) imp.ml imp.mli imp1.ml imp1.mli imp2.ml imp2.mli
|
|
|
|
Makefile.coq:
|
|
rocq makefile $(COQMFFLAGS) -o Makefile.coq $(ALLVFILES)
|
|
|
|
-include Makefile.coq
|
|
|
|
.PHONY: build clean
|