diff options
| -rw-r--r-- | Makefile.builds.in | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index e52feea7b..ee0bd7f98 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -86,10 +86,12 @@ ifeq ($(CVC4_BUILD_LIBCOMPAT),yes) ln -sf ../src/compat/.libs/libcvc4compat.* \ . endif -# symlink the binary - cd $(CURRENT_BUILD)/bin && \ - ln -sf ../src/main/cvc4 \ - . +# symlink the binaries + for binary in $(CVC4_BINARIES); do \ + cd $(CURRENT_BUILD)/bin && \ + ln -sf ../src/main/$$binary \ + . ; \ + done # set up builds/doc and builds/examples rm -f bin; ln -sf $(CURRENT_BUILD)/bin bin rm -f lib; ln -sf $(CURRENT_BUILD)/lib lib |