From 56ebdf2f4e21d009521a3fc9d73086d36823c92f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 13 Nov 2006 13:26:46 +0000 Subject: [PATCH] Makefile fix: CUDD_DIR variable not actually respected. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@147 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 7caf2788..9d93052c 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -231,9 +231,9 @@ default: all all: checks cuddpackage prism cuddpackage: - @(if [ ! -h cudd ]; then \ + @(if [ ! -h $(CUDD_DIR) ]; then \ echo Making cudd ...; \ - cd cudd && \ + cd $(CUDD_DIR) && \ /bin/cp Makefile.$(OSTYPE) Makefile && \ $(MAKE); \ else \ @@ -242,7 +242,7 @@ cuddpackage: cuddpackageforce: # use this to force build of cudd (even if dir is just a symlink) @echo Making cudd ...; \ - cd cudd && \ + cd $(CUDD_DIR) && \ /bin/cp Makefile.$(OSTYPE) Makefile && \ $(MAKE) @@ -380,8 +380,8 @@ celan: clean clean_all: checks clean_cudd clean clean_cudd: - @(if [ ! -h cudd ]; then \ - cd cudd && $(MAKE) distclean; \ + @(if [ ! -h $(CUDD_DIR) ]; then \ + cd $(CUDD_DIR) && $(MAKE) distclean; \ fi) clean_dd: checks