]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/library/Makefile
Added null character.
[helm.git] / matita / matita / library / Makefile
1 DIR=$(shell basename $$PWD)
2
3 $(DIR) all:
4         ../matitac
5 $(DIR).opt opt all.opt:
6         ../matitac.opt
7 clean:
8         ../matitaclean
9 clean.opt:
10         ../matitaclean.opt
11 depend:
12         ../matitadep -dot
13 depend.opt:
14         ../matitadep.opt -dot
15
16 %.mo: 
17         ../matitac $*.ma
18 %.mo.opt: 
19         ../matitac.opt $*.ma