From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 25 Aug 2014 16:09:54 +0000 (-0400)
Subject: Fix build rule.
X-Git-Tag: cvc5-1.0.0~6645
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1688e32c82663410beb8dcc9bce3419122a4a221;p=cvc5.git

Fix build rule.
---

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