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.builds.in | |
parent | 29bf7d6a937ab50c4dd92a30d7beb36a4001ead6 (diff) |
Remove CVC3 compatibility layer (#2418)
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index 265556f4d..7f34e69aa 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -31,9 +31,6 @@ EXEEXT = @EXEEXT@ SHELL = @SHELL@ LIBTOOL = $(CURRENT_BUILD)/libtool -# Are we building the libcvc4compat library ? -CVC4_BUILD_LIBCOMPAT = @CVC4_BUILD_LIBCOMPAT@ - # @ AM_V_at = $(am__v_at_$(V)) am__v_at_ = $(am__v_at_$(AM_DEFAULT_VERBOSITY)) @@ -76,16 +73,6 @@ all: test -d ../src/parser/.libs && \ ln -sf ../src/parser/.libs/libcvc4parser.* \ . -ifeq ($(CVC4_BUILD_LIBCOMPAT),yes) -# symlink libcvc4compat - $(AM_V_at)cd $(CURRENT_BUILD)/lib && \ - ln -sf ../src/compat/libcvc4compat.* \ - . - -$(AM_V_at)cd $(CURRENT_BUILD)/lib && \ - test -d ../src/compat/.libs && \ - ln -sf ../src/compat/.libs/libcvc4compat.* \ - . -endif # symlink the binaries $(AM_V_at)cd $(CURRENT_BUILD)/bin && \ for binary in $(CVC4_BINARIES); do \ |