projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e918066)
More changes to configure.ac to include the smt grammar directory. The parser refuses...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 4 Dec 2009 04:22:02 +0000 (04:22 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 4 Dec 2009 04:22:02 +0000 (04:22 +0000)
configure.ac patch | blob | history

diff --git a/configure.ac b/configure.ac
index 6b9125b18033b2fb4bdc2f5118e822a595a2507b..068eea929a88bf41a9e17cf24eeab830c5c71ee8 100644 (file)
--- 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