From fa4b492f4820ea04fc076fca7ea111bbcb46e74a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 7 Mar 2006 20:34:24 +0000
Subject: [PATCH] Tweaked main Makefile to prevent re-make of cudd when
 symlink.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@13 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/prism/Makefile b/prism/Makefile
index c4b5f9fb..96bda567 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -199,10 +199,14 @@ default: all
 all: checks cuddpackage prism
 
 cuddpackage:
-	echo Making cudd ...; \
-	cd cudd && \
-	/bin/cp Makefile.$(OSTYPE) Makefile && \
-	$(MAKE)
+	@(if [ ! -h cudd ]; then \
+	  echo Making cudd ...; \
+	  cd cudd && \
+	  /bin/cp Makefile.$(OSTYPE) Makefile && \
+	  $(MAKE); \
+	else \
+	  echo Skipping cudd make since it is a symlink...; \
+	fi)
 
 prism: checks sortplugins make_dirs post_make