diff options
author | Tim King <taking@google.com> | 2015-12-03 01:33:26 -0500 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-12-03 01:33:26 -0500 |
commit | 507f14eef40b17c06db6f2e286786afeea95acda (patch) | |
tree | 1847a82f658d5ce674d93b2a35404df277fb4ecd /src | |
parent | 2972e1c676899da6a85b1ddea4507d47e0066cd5 (diff) |
Modifying the src/options/Makefile.am for travis.
Diffstat (limited to 'src')
-rw-r--r-- | src/options/Makefile.am | 26 |
1 files 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 |