diff options
Diffstat (limited to 'src/options')
| -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 |