A better icon for GHCi
[ghc.git] / distrib / prep-bin-dist-mingw-happy
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-happy <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/happy.bin $ghc_binary_dir/bin/happy.exe
27 strip $ghc_binary_dir/bin/happy.exe
28
29 echo "rejig lib/"
30 mv lib/i386-unknown-mingw32/* $ghc_binary_dir
31
32 exit 0