From e641ecb4dd23ad10660152c8fe74cd0c85f84b94 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Wed, 19 Nov 2003 15:26:19 +0000
Subject: - Updated verbfilter.mk

---
 support/make/verbfilter.mk | 21 ++++++++++++++-------
 1 file changed, 14 insertions(+), 7 deletions(-)

(limited to 'support')

diff --git a/support/make/verbfilter.mk b/support/make/verbfilter.mk
index 46c304690c..984313b30b 100644
--- a/support/make/verbfilter.mk
+++ b/support/make/verbfilter.mk
@@ -7,12 +7,12 @@
 # Usage
 #
 #   make verbfilter[.clean|.distclean]
-#   make [VERBFILTER=<verbfilter-basename>] <*.tex>
+#   make [VERBFILTER=<verbfilter-source-file>] <*.tex>
 #
 ##############################################################################
 # Variables
 #
-# VERBFILTER		 = Verb filter base name
+# VERBFILTER		 = Verb filter source file
 #
 ##############################################################################
 # Examples
@@ -34,6 +34,13 @@
 
 JAVA			?= java
 JAVAC			?= javac
+VERBFILTER		?= $(PROJECT_SUPPORTDIR)/latex/verbfilterScala.java
+
+##############################################################################
+# Values
+
+verbfilter		 = $(VERBFILTER:%.java=%)
+verbfilter_CLASS	 = $(PROJECT_OUTPUTDIR)/$(verbfilter).class
 
 ##############################################################################
 # Commands
@@ -52,7 +59,7 @@ verbfilter.distclean	:
 	        echo $(RM) "$${file%.verb.tex}.tex"; \
 	        $(RM) "$${file%.verb.tex}.tex" ); \
 	done
-	$(RM) $(VERBFILTER:%=%.class)
+	$(RM) $(verbfilter_CLASS)
 
 .PHONY			: verbfilter
 .PHONY			: verbfilter.clean
@@ -61,13 +68,13 @@ verbfilter.distclean	:
 ##############################################################################
 # Rules
 
-%.tex			: %.verb.tex $(VERBFILTER:%=%.class)
-	$(JAVA) -cp $(dir $(VERBFILTER)) $(notdir $(VERBFILTER)) $< $@
+%.tex			: %.verb.tex $(verbfilter_CLASS)
+	$(JAVA) -cp $(dir $(verbfilter_CLASS)) $(notdir $(verbfilter)) $< $@
 
-$(VERBFILTER:%=%.class)	: $(VERBFILTER:%=%.java)
+$(verbfilter_CLASS)	: $(VERBFILTER)
 	$(JAVAC) $?
 
 .PRECIOUS		: %.tex
-.PRECIOUS		: $(VERBFILTER:%=%.class)
+.PRECIOUS		: $(verbfilter_CLASS)
 
 ##############################################################################
-- 
cgit v1.2.3