diff options
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 $@ $< |