3 # Running 'binary-dist' gives us a tree which
\r
4 # isn't quite right for the purposes of creating
\r
5 # a mingw/win32 install tree. This script rejigs
\r
10 # foo$ cd <top of fptools build tree>
\r
11 # foo$ make binary-dist Project=Ghc
\r
12 # foo$ cd ghc-<version>
\r
13 # foo$ ../distrib/prep-bin-dist-mingw-hdirect <ghc-bin-dist-dir>
\r
16 echo "In prep-bin-dist-mingw-hdirect $1"
\r
20 if ! [ -d bin/i386-unknown-mingw32 ] ; then
\r
21 echo "Doesn't look as if I'm in the toplevel directory of a mingw tree"
\r
22 echo "Usage: cd <project>-<version> ; ../distrib/prep-bin-dist-mingw-hdirect"
\r
27 cp bin/i386-unknown-mingw32/ihc.exe $binary_dir/bin
\r
28 strip $binary_dir/bin/ihc.exe
\r
31 cp -r lib/i386-unknown-mingw32/imports/* $binary_dir/imports
\r
32 cp lib/i386-unknown-mingw32/*.o $binary_dir
\r
33 cp lib/i386-unknown-mingw32/*.a $binary_dir
\r