]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/meta_style/Makefile
First version of Di Lena's stylesheet generator (for the HELM DTD).
[helm.git] / helm / meta_style / Makefile
diff --git a/helm/meta_style/Makefile b/helm/meta_style/Makefile
new file mode 100644 (file)
index 0000000..7bb4737
--- /dev/null
@@ -0,0 +1,56 @@
+XSLTPROC = xsltproc --timing
+FORMAT = xmllint --format
+SUBST = ./subst.pl
+METASTYLESHEET = meta_cic2mathml.xsl
+TMP1 = .tmpfile1
+TMP2 = .tmpfile2
+
+all: algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
+
+clean:
+       rm -f algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
+
+algebra.xsl: algebra.xml $(METASTYLESHEET)
+       @echo "**** PROCESSING algebra.xml ****"
+       @$(XSLTPROC) $(METASTYLESHEET) algebra.xml > $(TMP1)
+       @$(FORMAT) $(TMP1) > $(TMP2)
+       @mv $(TMP2) algebra.xsl
+       @rm $(TMP1)
+       @$(SUBST) oxsl: xsl: algebra.xsl
+       @$(SUBST) xmlns:oxsl xmlns:xsl algebra.xsl
+
+arith.xsl: arith.xml $(METASTYLESHEET)
+       @echo "**** PROCESSING arith.xml ****"
+       @$(XSLTPROC) $(METASTYLESHEET) arith.xml > $(TMP1)
+       @$(FORMAT) $(TMP1) > $(TMP2)
+       @mv $(TMP2) arith.xsl
+       @rm $(TMP1)
+       @$(SUBST) oxsl: xsl: arith.xsl
+       @$(SUBST) xmlns:oxsl xmlns:xsl arith.xsl
+
+basic.xsl: basic.xml $(METASTYLESHEET)
+       @echo "**** PROCESSING basic.xml ****"
+       @$(XSLTPROC) $(METASTYLESHEET) basic.xml > $(TMP1)
+       @$(FORMAT) $(TMP1) > $(TMP2)
+       @mv $(TMP2) basic.xsl
+       @rm $(TMP1)
+       @$(SUBST) oxsl: xsl: basic.xsl
+       @$(SUBST) xmlns:oxsl xmlns:xsl basic.xsl
+
+reals.xsl: reals.xml $(METASTYLESHEET)
+       @echo "**** PROCESSING reals.xml ****"
+       @$(XSLTPROC) $(METASTYLESHEET) reals.xml > $(TMP1)
+       @$(FORMAT) $(TMP1) > $(TMP2)
+       @mv $(TMP2) reals.xsl
+       @rm $(TMP1)
+       @$(SUBST) oxsl: xsl: reals.xsl
+       @$(SUBST) xmlns:oxsl xmlns:xsl reals.xsl
+
+set.xsl: set.xml $(METASTYLESHEET)
+       @echo "**** PROCESSING set.xml ****"
+       @$(XSLTPROC) $(METASTYLESHEET) set.xml > $(TMP1)
+       @$(FORMAT) $(TMP1) > $(TMP2)
+       @mv $(TMP2) set.xsl
+       @rm $(TMP1)
+       @$(SUBST) oxsl: xsl: set.xsl
+       @$(SUBST) xmlns:oxsl xmlns:xsl set.xsl