]> asedeno.scripts.mit.edu Git - PuTTY.git/blob - mkputty.mpw
Oops. Don't forget to rename the Makefile...
[PuTTY.git] / mkputty.mpw
1 Set program PuTTY
2 Set makefile Makefile.mpw
3
4 #       Run Make, then execute its output.
5
6 Echo "# `Date -t` ----- Build of {program}."
7 Echo "# `Date -t` ----- Analyzing dependencies."
8 Begin
9         Echo "Set Echo 1"
10         Make {"Parameters"} -f "{makefile}"
11 End > "{program}".makeout
12 Echo "# `Date -t` ----- Executing build commands."
13 "{program}".makeout
14 Delete "{program}".makeout
15 Echo "# `Date -t` ----- Done."
16 Set type "`files -i -n -x t "{program}"  OR "{type}" =~ /        MPST/  # application or tool
17         Echo -n t; Quote -n "{program}"; Echo -n " "
18 Else If "{type}" =~ /    DFIL/                                          # desk accessory in Suitcase
19         Echo -n t
20         Quote -n "Font/DA Mover" "{SystemFolder}"System "{program}";
21         Echo -n "  # Install DA"
22 Else If "{type}" =~ /    dfil/                                          # desk accessory (System 7)
23         Echo -n t
24         Quote -n Duplicate -y "{program}" "{SystemFolder}Apple Menu Items";
25         Echo -n "  # Install DA into Apple Menu"
26 End
27
28
29