From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Fri, 4 Dec 2009 04:22:02 +0000 (+0000)
Subject: More changes to configure.ac to include the smt grammar directory. The parser refuses... 
X-Git-Tag: cvc5-1.0.0~9395
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a11573cc35202e579c46cd6da478e89321840482;p=cvc5.git

More changes to configure.ac to include the smt grammar directory. The parser refuses to be built in the new separate directory structure though.
---

diff --git a/configure.ac b/configure.ac
index 6b9125b18..068eea929 100644
--- a/configure.ac
+++ b/configure.ac
@@ -334,6 +334,7 @@ AC_CONFIG_FILES([
   src/util/Makefile
   src/context/Makefile
   src/parser/Makefile
+  src/parser/smt/Makefile
   src/theory/Makefile
   test/Makefile
   test/regress/Makefile