diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2019-07-15 18:52:18 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2019-07-15 18:52:18 +0200 |
commit | 9b80b60bbf8bc7ec0ce8985b66399a179126882d (patch) | |
tree | 5e5fcf64b916317425226edf2456dfed5ffd8c5e /src/versions/standard/Makefile.local | |
parent | c2f860da64b15ef094d2905330e74658934f9cc2 (diff) | |
download | smtcoq-9b80b60bbf8bc7ec0ce8985b66399a179126882d.tar.gz smtcoq-9b80b60bbf8bc7ec0ce8985b66399a179126882d.zip |
3rdparty
Diffstat (limited to 'src/versions/standard/Makefile.local')
-rw-r--r-- | src/versions/standard/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/versions/standard/Makefile.local b/src/versions/standard/Makefile.local index 095564d..045af88 100644 --- a/src/versions/standard/Makefile.local +++ b/src/versions/standard/Makefile.local @@ -30,4 +30,4 @@ CAMLYACC = $(CAMLBIN)ocamlyacc $(CAMLYACC) $< .PHONY: smtcoq_plugin.mlpack.d -smtcoq_plugin.mlpack.d : verit/veritParser.ml verit/veritLexer.ml smtlib2/smtlib2_parse.ml smtlib2/smtlib2_lex.ml smtlib2/sExprParser.ml smtlib2/sExprLexer.ml lfsc/lfscParser.ml lfsc/lfscLexer.ml +smtcoq_plugin.mlpack.d : verit/veritParser.ml verit/veritLexer.ml ../3rdparty/alt-ergo/smtlib2_parse.ml ../3rdparty/alt-ergo/smtlib2_lex.ml smtlib2/sExprParser.ml smtlib2/sExprLexer.ml lfsc/lfscParser.ml lfsc/lfscLexer.ml |