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
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
15 export gcc_lib=c:/ghc/ghc-5.02.2/gcc-lib
16 export perl_dir=c:/ghc/ghc-5.02.2
17 export mingw_include=c:/ghc/ghc-5.02.2/include/mingw
19 echo "Removing configure script files...not needed"
20 rm -f config.guess config.sub configure configure.in mkdirhier
21 rm -f Makefile-bin.in Makefile.in aclocal.m4 install-sh
23 # For reasons unknown, duplicate copies of misc file in share/
27 mv bin/i386-unknown-mingw32/* bin/
28 rmdir bin/i386-unknown-mingw32
32 mv lib/i386-unknown-mingw32/* .
33 rmdir lib/i386-unknown-mingw32
35 mv ghc-asm.prl ghc-asm
36 mv ghc-split.prl ghc-split
38 echo "copy in gcc-lib/"
41 echo "extra header files inside of include/"
43 cp -Rf $mingw_include include/
46 echo "copy in perl too"
47 cp ${perl_dir}/perl.exe .
48 cp ${perl_dir}/perl56.dll .
49 cp ${perl_dir}/gcc.exe .
51 echo "formatting documentation"
54 cp -Rf html/* doc/user-guide/