diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-07 11:47:20 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-07 11:47:26 -0400 |
commit | 2a9ba3d34befa0adac7b0bc1eeafc9d5e898e3fc (patch) | |
tree | bae3daa385d3aed079bf250bf9ebe0894cf18c2f /Makefile.builds.in | |
parent | feb88db403b0c109fe6fbbbb7fc712d7afa0208d (diff) |
Fix win32 build.
Diffstat (limited to 'Makefile.builds.in')
-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 |