From 080d8353c6d0704885c2e491122c8e337542b0e8 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 26 Oct 2012 20:49:57 +0000 Subject: [PATCH] build options sources into distribution tarballs (in the same way that antlr grammars are pre-generated for tarballs). this speeds up user builds by not requiring them to run the mkoptions script (unless they change an options meta-file). i've tested this, but let me know if there are any problems you encounter. --- src/options/Makefile.am | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/options/Makefile.am b/src/options/Makefile.am index 7f7fe78cd..e81631b09 100644 --- 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 -- 2.30.2