From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 7 Aug 2014 15:47:20 +0000 (-0400)
Subject: Fix win32 build.
X-Git-Tag: cvc5-1.0.0~6674
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2a9ba3d34befa0adac7b0bc1eeafc9d5e898e3fc;p=cvc5.git

Fix win32 build.
---

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