From 3d35a4bd900031d59bd4e7012cdf65ab24b3af33 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 16 Jul 2015 13:32:37 +0000
Subject: [PATCH] Add Makefile target to force rebuild of the parser.

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

diff --git a/prism/Makefile b/prism/Makefile
index 5faf262a..343b2d9b 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -323,6 +323,19 @@ cuddpackageforce: checks
 	  $(MAKE) C="$(C)" CC="$(C)" CPP="$(CPP)" \
 	  XCFLAGS="$(CUDD_XCFLAGS)";
 
+# use this to force a rebuild (with javacc) of the main parser
+parser:
+	@echo Making parser ...; \
+	cd src/parser && \
+	$(MAKE) SRC_DIR="$(SRC_DIR)" touch && \
+	$(MAKE) \
+	SRC_DIR="$(SRC_DIR)" \
+	CLASSES_DIR="$(CLASSES_DIR)" \
+	JAVAC="$(JAVAC) $(JFLAGS)" \
+	JAVACC="$(JAVACC)" \
+	JAVAH="$(JAVAH) $(JFLAGS)" \
+	CLASSPATHSEP="$(CLASSPATHSEP)"
+
 extpackages: checks
 	@for ext in $(EXT_PACKAGES); do \
 	  echo Making $$ext ...; \