diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-26 20:49:57 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-26 20:49:57 +0000 |
commit | 080d8353c6d0704885c2e491122c8e337542b0e8 (patch) | |
tree | 643e69593b6b9bf13e149b79d964ec4b6ee84776 /src/options/Makefile.am | |
parent | 3b0db7521b3b71425d5a726285a4179b0b7b33fa (diff) |
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.
Diffstat (limited to 'src/options/Makefile.am')
-rw-r--r-- | src/options/Makefile.am | 7 |
1 files changed, 6 insertions, 1 deletions
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 |