diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-04 14:59:19 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-04 16:59:19 -0500 |
commit | 747a9a248da073911e1c0da34c38f0648421a087 (patch) | |
tree | 98449a71c66d0ad427b8c8dc6f0ed1b9fbccdfbe /Makefile.am | |
parent | 29bf7d6a937ab50c4dd92a30d7beb36a4001ead6 (diff) |
Remove CVC3 compatibility layer (#2418)
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Makefile.am b/Makefile.am index c2efa0420..4f624e39a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -130,8 +130,7 @@ EXTRA_DIST = \ doc/libcvc4.3.in \ doc/SmtEngine.3cvc_template.in \ doc/options.3cvc_template.in \ - doc/libcvc4parser.3.in \ - doc/libcvc4compat.3.in + doc/libcvc4parser.3.in man_MANS = \ doc/cvc4.1 \ @@ -140,8 +139,7 @@ man_MANS = \ doc/libcvc4.3 \ doc/SmtEngine.3cvc \ doc/options.3cvc \ - doc/libcvc4parser.3 \ - doc/libcvc4compat.3 + doc/libcvc4parser.3 doc/pcvc4.1: doc/cvc4.1 rm -f doc/pcvc4.1 @@ -167,7 +165,6 @@ DISTCLEANFILES = \ doc/pcvc4.1 \ doc/cvc4.5 \ doc/libcvc4.3 \ - doc/libcvc4compat.3 \ doc/libcvc4parser.3 \ doc/SmtEngine.3cvc \ doc/SmtEngine.3cvc_template \ |