diff options
| author | Ian Lynagh <ian@well-typed.com> | 2012-10-11 15:33:28 +0100 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2012-10-11 15:33:28 +0100 |
| commit | e84dc37c1dd661eb1a8425222280f04f573597dc (patch) | |
| tree | 6e2361d49cb0686f10bd64291553bc5fafa9d20e /distrib/prep-bin-dist-mingw-alex | |
| parent | 87e8c55ece4d0d4f84af26991792afcddc7ef4a4 (diff) | |
| download | haskell-e84dc37c1dd661eb1a8425222280f04f573597dc.tar.gz | |
Remove the distrib/prep-bin-* scripts
They are no longer used
Diffstat (limited to 'distrib/prep-bin-dist-mingw-alex')
| -rw-r--r-- | distrib/prep-bin-dist-mingw-alex | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/distrib/prep-bin-dist-mingw-alex b/distrib/prep-bin-dist-mingw-alex deleted file mode 100644 index 6c9d535d71..0000000000 --- a/distrib/prep-bin-dist-mingw-alex +++ /dev/null @@ -1,32 +0,0 @@ -#!/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-alex <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/alex.bin $ghc_binary_dir/bin/alex.exe -strip $ghc_binary_dir/bin/alex.exe - -echo "rejig lib/" -mv lib/i386-unknown-mingw32/* $ghc_binary_dir - -exit 0 |