From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 22 Oct 2012 20:09:08 +0000 (+0000)
Subject: fix parser generation in distributed tarballs (should fix bug #427)
X-Git-Tag: cvc5-1.0.0~7689
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=19f0a337307ce0e424b12acf6102829d81dbbf99;p=cvc5.git

fix parser generation in distributed tarballs (should fix bug #427)
---

diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am
index 91533ca7b..d5ed73ce3 100644
--- a/src/parser/cvc/Makefile.am
+++ b/src/parser/cvc/Makefile.am
@@ -41,7 +41,9 @@ BUILT_SOURCES = \
 	generated/CvcParser.c \
 	stamp-generated
 
-EXTRA_DIST = README
+EXTRA_DIST = \
+	README \
+	stamp-generated
 
 DISTCLEANFILES = $(ANTLR_STUFF)
 distclean-local:
diff --git a/src/parser/smt1/Makefile.am b/src/parser/smt1/Makefile.am
index 34b979ef9..4d7bd551e 100644
--- a/src/parser/smt1/Makefile.am
+++ b/src/parser/smt1/Makefile.am
@@ -43,6 +43,9 @@ BUILT_SOURCES = \
 	generated/Smt1Parser.c \
 	stamp-generated
 
+EXTRA_DIST = \
+	stamp-generated
+
 DISTCLEANFILES = $(ANTLR_STUFF)
 distclean-local:
 	-$(AM_V_at)rmdir generated
diff --git a/src/parser/smt2/Makefile.am b/src/parser/smt2/Makefile.am
index f55fe75cb..9d84d3da4 100644
--- a/src/parser/smt2/Makefile.am
+++ b/src/parser/smt2/Makefile.am
@@ -43,6 +43,9 @@ BUILT_SOURCES = \
 	generated/Smt2Parser.c \
 	stamp-generated
 
+EXTRA_DIST = \
+	stamp-generated
+
 DISTCLEANFILES = $(ANTLR_STUFF)
 distclean-local:
 	-$(AM_V_at)rmdir generated
diff --git a/src/parser/tptp/Makefile.am b/src/parser/tptp/Makefile.am
index fa677d6c0..e0010650a 100644
--- a/src/parser/tptp/Makefile.am
+++ b/src/parser/tptp/Makefile.am
@@ -43,6 +43,9 @@ BUILT_SOURCES = \
 	generated/TptpParser.c \
 	stamp-generated
 
+EXTRA_DIST = \
+	stamp-generated
+
 DISTCLEANFILES = $(ANTLR_STUFF)
 distclean-local:
 	-$(AM_V_at)rmdir generated