helm/meta_style/Makefile

   1 XSLTPROC = xsltproc --timing
   2 FORMAT = xmllint --format
   3 SUBST = ./subst.pl
   4 METASTYLESHEET = meta_cic2mathml.xsl
   5 TMP1 = /tmp/.tmpfile1
   6 TMP2 = /tmp/.tmpfile2
   7
   8 all: algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
   9
  10 clean:
  11         rm -f algebra.xsl arith.xsl basic.xsl reals.xsl set.xsl
  12
  13 algebra.xsl: algebra.xml $(METASTYLESHEET)
  14         @echo "**** PROCESSING algebra.xml ****"
  15         @$(XSLTPROC) $(METASTYLESHEET) algebra.xml > $(TMP1)
  16         @$(FORMAT) $(TMP1) > $(TMP2)
  17         @mv $(TMP2) algebra.xsl
  18         @rm $(TMP1)
  19         @$(SUBST) oxsl: xsl: algebra.xsl
  20         @$(SUBST) xmlns:oxsl xmlns:xsl algebra.xsl
  21
  22 arith.xsl: arith.xml $(METASTYLESHEET)
  23         @echo "**** PROCESSING arith.xml ****"
  24         @$(XSLTPROC) $(METASTYLESHEET) arith.xml > $(TMP1)
  25         @$(FORMAT) $(TMP1) > $(TMP2)
  26         @mv $(TMP2) arith.xsl
  27         @rm $(TMP1)
  28         @$(SUBST) oxsl: xsl: arith.xsl
  29         @$(SUBST) xmlns:oxsl xmlns:xsl arith.xsl
  30
  31 basic.xsl: basic.xml $(METASTYLESHEET)
  32         @echo "**** PROCESSING basic.xml ****"
  33         @$(XSLTPROC) $(METASTYLESHEET) basic.xml > $(TMP1)
  34         @$(FORMAT) $(TMP1) > $(TMP2)
  35         @mv $(TMP2) basic.xsl
  36         @rm $(TMP1)
  37         @$(SUBST) oxsl: xsl: basic.xsl
  38         @$(SUBST) xmlns:oxsl xmlns:xsl basic.xsl
  39
  40 reals.xsl: reals.xml $(METASTYLESHEET)
  41         @echo "**** PROCESSING reals.xml ****"
  42         @$(XSLTPROC) $(METASTYLESHEET) reals.xml > $(TMP1)
  43         @$(FORMAT) $(TMP1) > $(TMP2)
  44         @mv $(TMP2) reals.xsl
  45         @rm $(TMP1)
  46         @$(SUBST) oxsl: xsl: reals.xsl
  47         @$(SUBST) xmlns:oxsl xmlns:xsl reals.xsl
  48
  49 set.xsl: set.xml $(METASTYLESHEET)
  50         @echo "**** PROCESSING set.xml ****"
  51         @$(XSLTPROC) $(METASTYLESHEET) set.xml > $(TMP1)
  52         @$(FORMAT) $(TMP1) > $(TMP2)
  53         @mv $(TMP2) set.xsl
  54         @rm $(TMP1)
  55         @$(SUBST) oxsl: xsl: set.xsl
  56         @$(SUBST) xmlns:oxsl xmlns:xsl set.xsl