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

diff --git a/src/options/Makefile.am b/src/options/Makefile.am
index 0e5a6f8e9bc32d465f746289a3ddf50f934d1486..0d4b970d8482bf9ade3b7f0de95b76372293d8e6 100644 (file)
--- 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