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