mkputty.mpw

   1 # $Id: mkputty.mpw,v 1.1.2.7 1999/04/02 10:21:49 ben Exp $
   2
   3 set program "{1}"
   4 shift
   5 if "{program}" == "" || "{program}" == "68k"
   6         set program PuTTY.68k
   7 end
   8 if "{program}" == "ppc"
   9         set program PuTTY.ppc
  10 end
  11 if "{program}" == "fat"
  12         set program PuTTY
  13 end
  14
  15 Set makefile Makefile.mpw
  16
  17 #       Run Make, then execute its output.
  18
  19 Echo "# `Date -t` ----- Build of {program}."
  20 #if (`exists "#"Å"#"`)
  21 #       echo "# `Date -t` ----- Warning: auto-save file present."
  22 #end
  23 Echo "# `Date -t` ----- Analyzing dependencies."
  24 Begin
  25         Echo "Set Echo 1"
  26         Make "{program}" {"Parameters"} -f "{makefile}"
  27 End > "{program}".makeout
  28 Echo "# `Date -t` ----- Executing build commands."
  29 "{program}".makeout
  30 Delete "{program}".makeout
  31 Echo "# `Date -t` ----- Done."
  32 Set type "`files -i -n -x t "{program}" ³ Dev:Null || Set Status 0`"
  33 Set CaseSensitive True #filetype check for DA must be case sensitive
  34 If "{type}" =~ /Å APPL/ OR "{type}" =~ /Å MPST/         # application or tool
  35         Echo -n ¶t; Quote -n "{program}"; Echo -n " "
  36 End