diff options
Diffstat (limited to 'src/parser/cvc/Makefile.am')
-rw-r--r-- | src/parser/cvc/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am index cfe983727..ea67ef356 100644 --- a/src/parser/cvc/Makefile.am +++ b/src/parser/cvc/Makefile.am @@ -28,8 +28,10 @@ libparsercvc_la_SOURCES = \ cvc_input.cpp \ $(ANTLR_STUFF) -BUILT_SOURCES = $(ANTLR_STUFF) -dist-hook: $(ANTLR_STUFF) +BUILT_SOURCES = $(ANTLR_STUFF) @srcdir@/stamp-generated + +EXTRA_DIST = @srcdir@/stamp-generated + MAINTAINERCLEANFILES = $(ANTLR_STUFF) maintainer-clean-local: -$(AM_V_at)rmdir @srcdir@/generated |