1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-01-10 18:07:59 +00:00
putty-source/mkputty.mpw
Ben Harris 828339be2e Oops. Don't forget to rename the Makefile...
[originally from svn r94]
1999-03-13 16:57:30 +00:00

30 lines
881 B
Plaintext

Set program PuTTY
Set makefile Makefile.mpw
# Run Make, then execute its output.
Echo "# `Date -t` ----- Build of {program}."
Echo "# `Date -t` ----- Analyzing dependencies."
Begin
Echo "Set Echo 1"
Make {"Parameters"} -f "{makefile}"
End > "{program}".makeout
Echo "# `Date -t` ----- Executing build commands."
"{program}".makeout
Delete "{program}".makeout
Echo "# `Date -t` ----- Done."
Set type "`files -i -n -x t "{program}" OR "{type}" =~ / MPST/ # application or tool
Echo -n t; Quote -n "{program}"; Echo -n " "
Else If "{type}" =~ / DFIL/ # desk accessory in Suitcase
Echo -n t
Quote -n "Font/DA Mover" "{SystemFolder}"System "{program}";
Echo -n " # Install DA"
Else If "{type}" =~ / dfil/ # desk accessory (System 7)
Echo -n t
Quote -n Duplicate -y "{program}" "{SystemFolder}Apple Menu Items";
Echo -n " # Install DA into Apple Menu"
End