diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-04 04:06:54 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-04 04:06:54 +0000 |
| commit | 7ae25006aa380df63469f593b523ddf6dd0d2e53 (patch) | |
| tree | f8da669e0d8e90ef463482e966b98ecb45d45ad0 /src/parser/smt/Makefile.am | |
| parent | 9ecb0c727cf214809395afa0a1b615ea2e64f934 (diff) | |
Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting antlr SMT grammar that should compile, but is not yet integrated. Tests of compilation and antlr crashes appreciated.
Diffstat (limited to 'src/parser/smt/Makefile.am')
| -rw-r--r-- | src/parser/smt/Makefile.am | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/parser/smt/Makefile.am b/src/parser/smt/Makefile.am new file mode 100644 index 000000000..54e3e9bf9 --- /dev/null +++ b/src/parser/smt/Makefile.am @@ -0,0 +1,19 @@ +SOURCES = \ + SmtLexer.g \ + SmtParser.g + SmtLexer.hpp \ + SmtLexer.cpp \ + SmtParser.hpp \ + SmtParser.cpp + +BUILT_SOURCES = \ + SmtLexer.hpp \ + SmtLexer.cpp \ + SmtParser.hpp \ + SmtParser.cpp + +SmtLexer.cpp SmtLexer.hpp: SmtLexer.g + $(ANTLR) SmtLexer.g + +SmtParser.cpp SmtParser.hpp: SmtParser.g + $(ANTLR) SmtParser.g |