diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-21 11:07:43 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-21 11:07:43 +0100 |
| commit | fa38b7c9d97efe4fed2da75b7c217788d1500eeb (patch) | |
| tree | 0c1cdd166a536352c6eef6d75c883421989b81c7 /src | |
| parent | bfce2747a747f48465fe32c3d29304ca6e774f25 (diff) | |
| download | smtcoq-fa38b7c9d97efe4fed2da75b7c217788d1500eeb.tar.gz smtcoq-fa38b7c9d97efe4fed2da75b7c217788d1500eeb.zip | |
Solved a dependency problem for the compilation with Coq 8.5
Diffstat (limited to 'src')
| -rw-r--r-- | src/versions/standard/Make | 4 | ||||
| -rw-r--r-- | src/versions/standard/Makefile | 7 |
2 files changed, 4 insertions, 7 deletions
diff --git a/src/versions/standard/Make b/src/versions/standard/Make index 898186f..4d548ad 100644 --- a/src/versions/standard/Make +++ b/src/versions/standard/Make @@ -75,15 +75,15 @@ trace/smtTrace.ml smtlib2/smtlib2_parse.ml smtlib2/smtlib2_parse.mli -smtlib2/smtlib2_lex.ml smtlib2/smtlib2_ast.ml smtlib2/smtlib2_genConstr.ml +smtlib2/smtlib2_lex.ml smtlib2/smtlib2_util.ml verit/veritParser.ml verit/veritParser.mli -verit/veritLexer.ml verit/verit.ml +verit/veritLexer.ml verit/veritSyntax.ml verit/veritSyntax.mli diff --git a/src/versions/standard/Makefile b/src/versions/standard/Makefile index f0fadab..33ce492 100644 --- a/src/versions/standard/Makefile +++ b/src/versions/standard/Makefile @@ -219,13 +219,13 @@ MLFILES:=versions/standard/structures.ml\ trace/smtMisc.ml\ trace/smtTrace.ml\ smtlib2/smtlib2_parse.ml\ - smtlib2/smtlib2_lex.ml\ smtlib2/smtlib2_ast.ml\ smtlib2/smtlib2_genConstr.ml\ + smtlib2/smtlib2_lex.ml\ smtlib2/smtlib2_util.ml\ verit/veritParser.ml\ - verit/veritLexer.ml\ verit/verit.ml\ + verit/veritLexer.ml\ verit/veritSyntax.ml\ zchaff/cnfParser.ml\ zchaff/satParser.ml\ @@ -476,9 +476,6 @@ $(filter-out $(addsuffix .cmx,$(foreach lib,$(MLPACKFILES:.mlpack=_MLPACK_DEPEND $(addsuffix .d,$(MLFILES)): %.ml.d: %.ml $(OCAMLDEP) -slash $(OCAMLLIBS) "$<" > "$@" || ( RV=$$?; rm -f "$@"; exit $${RV} ) -# $(filter-out $(MLLIBFILES:.mllib=.cmxs),$(MLFILES:.ml=.cmxs) $(ML4FILES:.ml4=.cmxs) $(MLPACKFILES:.mlpack=.cmxs)): %.cmxs: %.cmx -# $(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -shared -o $@ $< - $(MLLIBFILES:.mllib=.cmxs): %.cmxs: %.cmxa $(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -linkall -shared -o $@ $< |