From f858ba3fa9536fc1eb4379181c18591783fed98b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 23 Nov 2006 18:38:07 +0000
Subject: [PATCH] Makefile: display of some important environment variables
 during "checks" target.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@166 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/prism/Makefile b/prism/Makefile
index e4114d9d..96732cb5 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -228,9 +228,9 @@ endif
 
 default: all
 
-all: checks cuddpackage prism
+all: cuddpackage prism
 
-cuddpackage:
+cuddpackage: checks
 	@(if [ ! -h $(CUDD_DIR) ]; then \
 	  echo Making cudd ...; \
 	  cd $(CUDD_DIR) && \
@@ -240,7 +240,8 @@ 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)
+# use this to force build of cudd (even if dir is just a symlink)
+cuddpackageforce: checks
 	@echo Making cudd ...; \
 	cd $(CUDD_DIR) && \
 	/bin/cp Makefile.$(OSTYPE) Makefile && \
@@ -466,6 +467,10 @@ checks:
 	  echo "Failed to locate the JNI header jni_md.h"; \
 	  echo "Are you sure Java is installed?"; \
 	  exit 1; \
-	fi)
+	fi; \
+	echo "OSTYPE: $(OSTYPE)"; \
+	echo "JAVA_DIR: $(JAVA_DIR)"; \
+	echo "JAVAC: "`which $(JAVAC)` \
+	)
 
 #################################################