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: