From 081b9a95034c1e93f5db9441093391f22733ffd0 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 18 Jul 2018 18:41:17 +0200
Subject: [PATCH] Makefile: Remove JAVAH variable

Not needed anymore after previous commit (switch to javac -h based generation of the JNI .h files).
---
 prism/Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/prism/Makefile b/prism/Makefile
index abf2eb49..f57ab7da 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -132,7 +132,6 @@ CPP = g++
 LD = $(CPP)
 JAVAC = javac
 JAVACC = javacc
-JAVAH = javah
 
 ##############
 # Flags etc. #
@@ -341,7 +340,6 @@ parser:
 	CLASSES_DIR="$(CLASSES_DIR)" \
 	JAVAC="$(JAVAC) $(JFLAGS)" \
 	JAVACC="$(JAVACC)" \
-	JAVAH="$(JAVAH) $(JFLAGS)" \
 	CLASSPATHSEP="$(CLASSPATHSEP)"
 
 extpackages: checks
@@ -390,7 +388,6 @@ make_dirs:
 	  LD="$(LD)" \
 	  JAVAC="$(JAVAC) $(JFLAGS)" \
 	  JAVACC="$(JAVACC)" \
-	  JAVAH="$(JAVAH) $(JFLAGS)" \
 	  CFLAGS="$(CFLAGS)" \
 	  CPPFLAGS="$(CPPFLAGS)" \
 	  LDFLAGS="$(LDFLAGS)" \