]> matita.cs.unibo.it Git - helm.git/blob - helm/scripts/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / scripts / Makefile
1
2 all: 
3         chmod ug+w marcello*rc phd*rc
4         ./makeit V7 marcello marcello <template.cshrc >marcello.cshrc
5         ./makeit V7 marcello marcello <template.rc >marcello.rc
6         ./makeit V7 marcello phd <template.cshrc >marcello_phd.cshrc
7         ./makeit V7 marcello phd <template.rc >marcello_phd.rc
8         ./makeit V7 phd phd <template.cshrc >phd.cshrc
9         ./makeit V7 phd phd <template.rc >phd.rc
10         ./makeit V7 phd marcello <template.cshrc >phd_marcello.cshrc
11         ./makeit V7 phd marcello <template.rc >phd_marcello.rc
12         ./makeit V7_mowgli marcello marcello <template.cshrc >marcello_mowgli.cshrc
13         ./makeit V7_mowgli marcello marcello <template.rc >marcello_mowgli.rc
14         ./makeit V7_mowgli marcello phd <template.cshrc >marcello_phd_mowgli.cshrc
15         ./makeit V7_mowgli marcello phd <template.rc >marcello_phd_mowgli.rc
16         ./makeit V7_mowgli phd phd <template.cshrc >phd_mowgli.cshrc
17         ./makeit V7_mowgli phd phd <template.rc >phd_mowgli.rc
18         ./makeit V7_mowgli phd marcello <template.cshrc >phd_marcello_mowgli.cshrc
19         ./makeit V7_mowgli phd marcello <template.rc >phd_marcello_mowgli.rc
20         chmod a+x marcello*rc phd*rc
21         chmod ug-w marcello*rc phd*rc
22
23 clean:
24         rm -f marcello*rc phd*rc
25
26 cleanbak:
27         rm -f *~
28