From 7ae25006aa380df63469f593b523ddf6dd0d2e53 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 4 Dec 2009 04:06:54 +0000
Subject: 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.

---
 src/parser/smt/Makefile.am | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 src/parser/smt/Makefile.am

(limited to 'src/parser/smt/Makefile.am')

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
-- 
cgit v1.2.3