- plain anticipation for CIC proofs terms

[helm.git] / matita / components / binaries / matex / test / Makefile

diff --git a/matita/components/binaries/matex/test/Makefile b/matita/components/binaries/matex/test/Makefile
new file mode 100644 (file)
index 0000000..b191999
--- /dev/null
+++ b/matita/components/binaries/matex/test/Makefile
@@ -0,0 +1,38 @@
+LATEX  = latex
+DVIPS  = dvips
+BIBTEX = bibtex
+PSPDF  = ps2pdf -dEmbedAllFonts=true -dPDFSETTINGS=/prepress
+UNLOG  = ./unlog.pl
+
+MAIN = test
+
+SOURCES = $(shell cat Make)
+
+all: $(MAIN).dvi 
+
+ps: $(MAIN).ps
+
+pdf: $(MAIN).pdf
+
+tar: $(MAIN).tar
+
+again:
+       $(MAKE) --no-print-directory -B
+
+clean:
+       $(RM) *.log *.dvi *.aux *.spl *.ps *.blg *.pdf *.tar *~
+
+bibtex: $(MAIN).log
+       $(BIBTEX) $(MAIN)
+
+$(MAIN).dvi $(MAIN).log $(MAIN).aux: $(MAIN).tex $(SOURCES)
+       $(LATEX) $<
+
+$(MAIN).ps: $(MAIN).dvi 
+       $(DVIPS) $<
+
+$(MAIN).pdf: $(MAIN).ps
+       $(PSPDF) $<
+
+$(MAIN).tar: $(MAIN).log
+       $(UNLOG) $< $@