From: Tim King <taking@google.com>
Date: Thu, 3 Dec 2015 06:33:26 +0000 (-0500)
Subject: Modifying the src/options/Makefile.am for travis.
X-Git-Tag: cvc5-1.0.0~6149
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=507f14eef40b17c06db6f2e286786afeea95acda;p=cvc5.git

Modifying the src/options/Makefile.am for travis.
---

diff --git a/src/options/Makefile.am b/src/options/Makefile.am
index 0e5a6f8e9..0d4b970d8 100644
--- a/src/options/Makefile.am
+++ b/src/options/Makefile.am
@@ -321,8 +321,30 @@ MANUAL_RM = \
 	../options/Trace_tags.tmp \
 	../options/Debug_tags.tmp \
 	../options/liboptions.la \
-	../parser/.dirstamp
-
+	../parser/.dirstamp \
+	../expr/.deps/options.Plo \
+	../main/.deps/options.Plo \
+	../parser/.deps/options.Plo \
+	../prop/options.lo \
+	../decision/options.lo \
+	../printer/options.lo \
+	../proof/options.lo \
+	../smt/options.lo \
+	../theory/arith/options.lo \
+	../theory/arrays/options.lo \
+	../theory/booleans/options.lo \
+	../theory/builtin/options.lo \
+	../theory/bv/options.lo \
+	../theory/datatypes/options.lo \
+	../theory/fp/options.lo \
+	../theory/idl/options.lo \
+	../theory/quantifiers/options.lo \
+	../theory/sets/options.lo \
+	../theory/strings/options.lo \
+	../theory/test_newalttheory/options.lo \
+	../theory/test_newtheory/options.lo \
+	../theory/uf/options.lo \
+	../theory/options.lo