TOPDIR  = $(HOME)
MFILES	= $(MIZFILES)
MMLLAR  = $(MFILES)/mml.lar
MMLLAR100  = $(MFILES)/mml.lar.100
MIZ100     = $(shell cat $(MMLLAR100))
STANDARDMIZ     = $(shell cat $(MMLLAR))
SHMIZ = $(shell shuffle < $(MMLLAR))

XSLTPROC = $(TOPDIR)/mizwrk/xsltproc 
XML2HTML = $(TOPDIR)/gitrepo/xsl4mizar/miz.xsl
ADDABS = $(TOPDIR)/gitrepo/xsl4mizar/addabsrefs.xsl
MKXMLHEAD = $(TOPDIR)/gitrepo/xsl4mizar/mkxmlhead.pl
MKCOMMENTS = $(TOPDIR)/gitrepo/xsl4mizar/MizComments.pl
ACCOM = $(MFILES)/bin/accom 
VERIFIER = $(MFILES)/bin/verifier
MIZ2DLI = $(TOPDIR)/gitrepo/xsl4mizar/miz2dli.xsl
MIZ2OUTREF = $(TOPDIR)/gitrepo/xsl4mizar/miz2outref.xsl

%.acc: %.miz
	$(ACCOM) $* > $*.acc 

%.hdr: %.miz
	$(MKXMLHEAD) $*.miz > $*.hdr

%.cmt: %.miz
	$(MKCOMMENTS) $*.miz > $*.cmt

%.xml: %.acc
	$(VERIFIER) -q   $*  

%.xml1: %.xml
	$(XSLTPROC) $(ADDABS)  $*.xml > $*.xml1 

%.dli: %.xml1
	$(XSLTPROC) $(MIZ2DLI)  $*.xml1 > $*.dli

%.outref: %.xml1
	$(XSLTPROC) $(MIZ2OUTREF)  $*.xml1 > $*.outref

%.html: %.xml1
	$(XSLTPROC) --param linking \'s\' --param proof_links \'1\' $(XML2HTML)  $*.xml1 > $*.html 

%.htmla1: %.xml1 %.hdr %.cmt
	$(XSLTPROC) --param mk_comments 1 --param mk_header 1 --param linking \'s\' --param mizhtml \'\' --param ajax_proofs \'1\' --param titles \'1\' --param colored \'1\' --param proof_links \'1\' $(XML2HTML)  $*.xml1 > $*.htmla1 

%.htmla2: %.xml1
	$(XSLTPROC) --param ajax_proofs \'2\' --param proof_links \'1\' $(XML2HTML)  $*.xml1 > $*.htmla2 

%.htmla3: %.xml1
	$(XSLTPROC) --param linking \'q\' --param generate_items \'1\' --param titles \'1\' --param colored \'1\' $(XML2HTML)  $*.xml1 > $*.htmla3


# all: xboole.html
allhtml: $(addsuffix .html, $(SHMIZ))
allhtmla1: $(addsuffix .htmla1, $(SHMIZ))
allhtmla2: $(addsuffix .htmla2, $(SHMIZ))
allhtmla3: $(addsuffix .htmla3, $(SHMIZ))
html100: $(addsuffix .html, $(MIZ100))
allacc: $(addsuffix .acc, $(STANDARDMIZ))
allhdr: $(addsuffix .hdr, $(STANDARDMIZ))
allcmt: $(addsuffix .cmt, $(STANDARDMIZ))
allxml: $(addsuffix .xml, $(STANDARDMIZ))
allxml1: $(addsuffix .xml1, $(SHMIZ))
alldli: $(addsuffix .dli, $(SHMIZ))
alloutref: $(addsuffix .outref, $(SHMIZ))