From 2cedd3daf247e80e74e51cd354f6054c13d944ad Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 25 Jun 2013 21:44:56 +0000
Subject: [PATCH] Update main Makefile to pass variables correctly to new
 cudd-5.0 Makefile.

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

diff --git a/prism/Makefile b/prism/Makefile
index dfc6e97e..04015170 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -285,7 +285,7 @@ cuddpackage: checks
 	@(if [ ! -h $(CUDD_DIR) ]; then \
 	  echo Making cudd ...; \
 	  cd $(CUDD_DIR) && \
-	  $(MAKE) C="$(C)" CC="$(C)" CPP="$(CPP)" \
+	  $(MAKE) C="$(C)" CC="$(C)" CPP="$(CPP)" CXX="$(CPP)" \
 	  XCFLAGS="$(CUDD_XCFLAGS)"; \
 	else \
 	  echo Skipping cudd make since it is a symlink...; \