From 1688e32c82663410beb8dcc9bce3419122a4a221 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 25 Aug 2014 12:09:54 -0400
Subject: [PATCH] Fix build rule.

---
 Makefile.builds.in | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 2a51990f2..265556f4d 100644
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -89,8 +89,12 @@ endif
 #	symlink the binaries
 	$(AM_V_at)cd $(CURRENT_BUILD)/bin && \
 	for binary in $(CVC4_BINARIES); do \
-		ln -sf ../src/main/$$binary \
-			. ; \
+		if test -x ../src/main/$$binary; then \
+			ln -sf ../src/main/$$binary \
+				. ; \
+		else \
+			rm -f "$$binary"; \
+		fi; \
 	done
 #	set up builds/doc and builds/examples
 	$(AM_V_at)rm -f bin; ln -sf $(CURRENT_BUILD)/bin bin
-- 
2.30.2