distrib/prep-bin-dist-mingw-haddock

   1 #!/bin/sh
   2 #
   3 # Running 'binary-dist' gives us a tree which
   4 # isn't quite right for the purposes of creating
   5 # a mingw/win32 install tree.  This script rejigs
   6 # the tree.
   7 #
   8 # To use:
   9 #
  10 #   foo$ cd <top of fptools build tree>
  11 #   foo$ make binary-dist Project=Ghc
  12 #   foo$ cd ghc-<version>
  13 #   foo$ ../distrib/prep-bin-dist-mingw-haddock <ghc-dir>
  14 #
  15
  16 ghc_binary_dir=../$1
  17
  18 # Play safe
  19 if ! [ -d bin/i386-unknown-mingw32 ] ; then
  20   echo "Doesn't look as if I'm in the toplevel directory of a mingw tree"
  21   echo "Usage: cd ghc-<version> ; ../distrib/prep-bin-dist-mingw"
  22   exit 1;
  23 fi;
  24
  25 echo "rejig bin/"
  26 mv lib/i386-unknown-mingw32/haddock.bin $ghc_binary_dir/bin/haddock.exe
  27 strip $ghc_binary_dir/bin/haddock.exe
  28
  29 echo "rejig lib/"
  30 mv lib/i386-unknown-mingw32/* $ghc_binary_dir
  31
  32 exit 0