From bef230088c40542464ee3bf54c1c3675ab151b1b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 25 Oct 2007 11:36:03 +0000 Subject: [PATCH] Main Makefile CC/CPP options passed to CUDD Makefiles. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@479 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)