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 91533ca7b86990ad6581a18033007c484624a5a6..d5ed73ce30abfade4e62d1ffcd1452ac63c30203 100644 (file)
--- 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 34b979ef9e1e64c7a8568aaffe7f765755ad6d4c..4d7bd551ebf6086d068a19563301c35fdb12cd56 100644 (file)
--- 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 f55fe75cbfd8bb604195381f9a4344e664f0199f..9d84d3da4975e6b0073ffc5cbdd7f8510997c4c3 100644 (file)
--- 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 fa677d6c0b0b4f0631e0b3796fbb31b7e5bd5618..e0010650a50e326f37f8cbc62b9032892554219e 100644 (file)
--- 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