diff --git a/prism/Makefile b/prism/Makefile
index e4546569..b9d57f54 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -298,7 +298,7 @@ cuddpackage: checks
 	  echo Making cudd ...; \
 	  cd $(CUDD_DIR) && \
 	  /bin/cp $(CUDD_MAKEFILE) Makefile && \
-	  $(MAKE); \
+	  $(MAKE) C="$(C)" CC="$(C)" CPP="$(CPP)"; \
 	else \
 	  echo Skipping cudd make since it is a symlink...; \
 	fi)