From 507f14eef40b17c06db6f2e286786afeea95acda Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 3 Dec 2015 01:33:26 -0500 Subject: [PATCH] Modifying the src/options/Makefile.am for travis. --- src/options/Makefile.am | 26 ++++++++++++++++++++++++-- 1 file changed, 24 insertions(+), 2 deletions(-) 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 -- 2.30.2