Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

34 lines (28 sloc) 0.892 kb
#!/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=GreenCard
# foo$ cd gc-<version>
# foo$ ../distrib/prep-bin-dist-mingw-greencard <ghc-dir>
#
echo "In prep-bin-dist-mingw-greencard $1"
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-greencard <ghc-bin-dist-dir>"
exit 1;
fi;
echo "rejig bin/"
cp lib/i386-unknown-mingw32/greencard-bin.exe $binary_dir/bin/greencard.exe
strip $binary_dir/bin/greencard.exe
echo "rejig lib/"
cp -r lib/i386-unknown-mingw32/* $binary_dir
exit 0
Jump to Line
Something went wrong with that request. Please try again.