diff options
author | paltherr <paltherr@epfl.ch> | 2003-03-11 13:19:26 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-03-11 13:19:26 +0000 |
commit | 0318d97b8cb7b67305c6249ae92a015080f8bf89 (patch) | |
tree | 108002d80bf00cdc18f7408f1d194914a4035a0f | |
parent | c773be407e36509e684b5a4de01d9234311fb675 (diff) | |
download | scala-0318d97b8cb7b67305c6249ae92a015080f8bf89.tar.gz scala-0318d97b8cb7b67305c6249ae92a015080f8bf89.tar.bz2 scala-0318d97b8cb7b67305c6249ae92a015080f8bf89.zip |
- Added verbfilter.mk
-rw-r--r-- | support/make/verbfilter.mk | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/support/make/verbfilter.mk b/support/make/verbfilter.mk new file mode 100644 index 0000000000..c01f5bd851 --- /dev/null +++ b/support/make/verbfilter.mk @@ -0,0 +1,40 @@ +############################################################-*-Makefile-*-#### +# VERBFILTER - Verbfilter Latex Files +############################################################################## +# $Id$ + +############################################################################## +# Usage +# +# make [VERBFILTER=<java-file>] <*.tex> +# +############################################################################## +# Variables +# +# VERBFILTER = Verb filter source file +# +############################################################################## +# Examples +# +# Generate reference.tex by verbfiltering reference.verb.tex +# +# make VERBFILTER=../../support/latex/verbfilterScala.java reference.tex +# +############################################################################## + +############################################################################## +# Defaults + +JAVA ?= java +JAVAC ?= javac + +############################################################################## +# Rules + +%.tex : %.verb.tex $(VERBFILTER:%.java=%.class) + $(JAVA) -cp $(dir $(VERBFILTER)) $(notdir $(VERBFILTER:%.java=%)) $< $@ + +$(VERBFILTER:%.java=%.class): $(VERBFILTER) + $(JAVAC) $? + +############################################################################## |