Remove the distrib/prep-bin-* scripts

They are no longer used

1 files changed, 0 insertions, 36 deletions

diff --git a/distrib/prep-bin-dist-mingw-hdirect b/distrib/prep-bin-dist-mingw-hdirect
deleted file mode 100644
index a8aa21c215..0000000000
--- a/distrib/prep-bin-dist-mingw-hdirect
+++ /dev/null
@@ -1,36 +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-hdirect <ghc-bin-dist-dir>

-#

-

-echo "In prep-bin-dist-mingw-hdirect $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 <project>-<version> ; ../distrib/prep-bin-dist-mingw-hdirect"

-  exit 1;

-fi;

-

-echo "rejig bin/"

-cp bin/i386-unknown-mingw32/ihc.exe $binary_dir/bin

-strip $binary_dir/bin/ihc.exe

-

-echo "rejig lib/"

-cp -r lib/i386-unknown-mingw32/hslibs-imports/hdirect $binary_dir/imports

-cp lib/i386-unknown-mingw32/*.o $binary_dir

-cp lib/i386-unknown-mingw32/*.a $binary_dir

-mv $binary_dir/imports/hdirect $binary_dir/imports/Hdirect

-

-exit 0