build options sources into distribution tarballs (in the same way that antlr grammars...

diff --git a/src/options/Makefile.am b/src/options/Makefile.am
index 7f7fe78cd721551e7a17d4f1acc6a4772e2fb2bd..e81631b09beb8d00153d7cf6cc022bdcaa5d8642 100644 (file)
--- a/src/options/Makefile.am
+++ b/src/options/Makefile.am
@@ -114,7 +114,12 @@ EXTRA_DIST = \
        options_holder_template.h \
        options.i \
        option_exception.i \
-       $(OPTIONS_FILES)
+       $(OPTIONS_FILES) \
+       options-stamp \
+       ../smt/smt_options.cpp \
+       options.cpp \
+       options_holder.h \
+       $(OPTIONS_FILES_SRCS)
 
 if CVC4_DEBUG
 # listing Debug_tags too ensures that make doesn't auto-remove it