From eaec374a484dfe66986fa667a181d9e60b05f28c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 13 Mar 2006 10:13:43 +0000
Subject: [PATCH] Makefile tweak: Allow forced rebuild of CUDD when dir is
 symlink.

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

diff --git a/prism/Makefile b/prism/Makefile
index 2c89c927..7350c5d2 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -208,6 +208,12 @@ cuddpackage:
 	  echo Skipping cudd make since it is a symlink...; \
 	fi)
 
+cuddpackageforce: # use this to force build of cudd (even if dir is just a symlink)
+	@echo Making cudd ...; \
+	cd cudd && \
+	/bin/cp Makefile.$(OSTYPE) Makefile && \
+	$(MAKE)
+
 prism: checks sortplugins make_dirs post_make
 
 sortplugins: