summaryrefslogtreecommitdiff
path: root/support/make
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2003-08-05 10:58:29 +0000
committerpaltherr <paltherr@epfl.ch>2003-08-05 10:58:29 +0000
commit0502ed783e1cb77622555c64489d26211288801a (patch)
treea059badc4452b8b1ee233b0dade500616c32556d /support/make
parent01b58f124d6b16fa8be43672f8073ef76e55ca84 (diff)
downloadscala-0502ed783e1cb77622555c64489d26211288801a.tar.gz
scala-0502ed783e1cb77622555c64489d26211288801a.tar.bz2
scala-0502ed783e1cb77622555c64489d26211288801a.zip
- Added scalatex.mk
Diffstat (limited to 'support/make')
-rw-r--r--support/make/scalatex.mk67
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
+
+##############################################################################