From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 26 Oct 2012 20:49:57 +0000 (+0000)
Subject: build options sources into distribution tarballs (in the same way that antlr grammars... 
X-Git-Tag: cvc5-1.0.0~7663
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=080d8353c6d0704885c2e491122c8e337542b0e8;p=cvc5.git

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.
---

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