diff options
| author | Tim King <taking@google.com> | 2015-11-12 04:23:08 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2015-11-12 04:23:08 -0800 |
| commit | 304e0f3eb0fac012a3aac9ec02918f1e4616bde7 (patch) | |
| tree | 1b29a9c02985b2443feb7991ac4226d5681af005 /.travis.yml | |
| parent | ada1fc44c9b5b8746a2e1e4046032282149768b5 (diff) | |
Updating the contrib/new-theory script and travis to use the new Makefile.theories script.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 18204d3c6..f3d680374 100644 --- a/.travis.yml +++ b/.travis.yml @@ -51,9 +51,9 @@ script: } addNewTheoryTest() { contrib/new-theory test_newtheory || error "NEWTHEORY FAILED"; - grep -q '^THEORIES *=.* test_newtheory' src/Makefile.am || error "NEWTHEORY FAILED"; + grep -q '^THEORIES *=.* test_newtheory' src/Makefile.theories || error "NEWTHEORY FAILED"; contrib/new-theory --alternate test_newtheory test_newalttheory || error "NEWTHEORY-ALTERNATE FAILED"; - grep -q '^THEORIES *=.* test_newalttheory' src/Makefile.am || error "NEWTHEORY-ALTERNATE FAILED"; + grep -q '^THEORIES *=.* test_newalttheory' src/Makefile.theories || error "NEWTHEORY-ALTERNATE FAILED"; } LFSCchecks() { cd proofs/lfsc_checker && |