From 10e677921902c931754302d72fc43f210c545ccd Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 6 Mar 2006 10:38:05 +0000
Subject: [PATCH] Fix to ignore PrismParser.jj compilation when javacc not
 present.

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

diff --git a/prism/src/parser/Makefile b/prism/src/parser/Makefile
index fc6feb10..07a2f36f 100644
--- a/prism/src/parser/Makefile
+++ b/prism/src/parser/Makefile
@@ -29,7 +29,7 @@ checks:
 	fi; 
 
 PrismParser.java: PrismParser.jj
-	javacc $<
+	javacc $< || echo "Warning: Did not recompile PrismParser.jj"
 
 $(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class: %.java
 	(cd ..; $(JAVAC) -sourcepath $(THIS_DIR)/$(PRISM_DIR_REL)/$(SRC_DIR) -classpath $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<)