From 2a9ba3d34befa0adac7b0bc1eeafc9d5e898e3fc Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 7 Aug 2014 11:47:20 -0400
Subject: [PATCH] Fix win32 build.

---
 Makefile.builds.in | 10 ++++++----
 1 file 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
-- 
2.30.2