diff options
author | paltherr <paltherr@epfl.ch> | 2003-08-05 10:58:29 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-08-05 10:58:29 +0000 |
commit | 0502ed783e1cb77622555c64489d26211288801a (patch) | |
tree | a059badc4452b8b1ee233b0dade500616c32556d /support/make | |
parent | 01b58f124d6b16fa8be43672f8073ef76e55ca84 (diff) | |
download | scala-0502ed783e1cb77622555c64489d26211288801a.tar.gz scala-0502ed783e1cb77622555c64489d26211288801a.tar.bz2 scala-0502ed783e1cb77622555c64489d26211288801a.zip |
- Added scalatex.mk
Diffstat (limited to 'support/make')
-rw-r--r-- | support/make/scalatex.mk | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/support/make/scalatex.mk b/support/make/scalatex.mk new file mode 100644 index 0000000000..01bd2b186f --- /dev/null +++ b/support/make/scalatex.mk @@ -0,0 +1,67 @@ +############################################################-*-Makefile-*-#### +# SCALATEX - Evaluate Embedded Scala Scripts +############################################################################## +# $Id$ + +############################################################################## +# Usage +# +# make scalatex[.clean|.distclean] +# make <*.tex> +# +############################################################################## +# Examples +# +# Generate all .tex files produced by processing a .scala.tex file +# +# make scalatex +# +# +# Generate tutorial.tex by processing tutorial.scala.tex +# +# make tutorial.tex +# +############################################################################## + +############################################################################## +# Defaults + +SCSH ?= scsh + +############################################################################## +# Values + +scalatex_ENV ?= CLASSPATH=$(PROJECT_CLASSPATH) +scalatex_SCRIPT ?= $(PROJECT_SUPPORTDIR)/latex/scalatex.scm + +############################################################################## +# Commands + +all : scalatex +clean : scalatex.clean +distclean : scalatex.distclean + +scalatex : $(patsubst %.scala.tex,%.tex,$(wildcard *.scala.tex)) + +scalatex.clean : + +scalatex.distclean : + @for file in *.scala.tex; do \ + [ "$$file" = "*.scala.tex" ] || ( \ + echo $(RM) "$${file%.scala.tex}.tex"; \ + $(RM) "$${file%.scala.tex}.tex" ); \ + done + +.PHONY : scalatex +.PHONY : scalatex.clean +.PHONY : scalatex.distclean + +############################################################################## +# Rules + +%.tex : %.scala.tex + $(scalatex_ENV) $(SCSH) -e main -s $(scalatex_SCRIPT) $< $@ + +.PRECIOUS : %.tex + +############################################################################## |