From e3c8a2a3fd8fa864b6b25ea7e3dffba634e24813 Mon Sep 17 00:00:00 2001
From: mthomas <unknown>
Date: Thu, 12 Feb 2004 02:01:54 +0000
Subject: [PATCH] [project @ 2004-02-12 02:01:54 by mthomas] Rejig haddock and
 alex.

---
 distrib/prep-bin-dist-mingw-alex    |   32 ++++++++++++++++++++++++++++++++
 distrib/prep-bin-dist-mingw-haddock |   32 ++++++++++++++++++++++++++++++++
 2 files changed, 64 insertions(+)
 create mode 100644 distrib/prep-bin-dist-mingw-alex
 create mode 100644 distrib/prep-bin-dist-mingw-haddock

diff --git a/distrib/prep-bin-dist-mingw-alex b/distrib/prep-bin-dist-mingw-alex
new file mode 100644
index 0000000..6c9d535
--- /dev/null
+++ b/distrib/prep-bin-dist-mingw-alex
@@ -0,0 +1,32 @@
+#!/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
diff --git a/distrib/prep-bin-dist-mingw-haddock b/distrib/prep-bin-dist-mingw-haddock
new file mode 100644
index 0000000..d56cb54
--- /dev/null
+++ b/distrib/prep-bin-dist-mingw-haddock
@@ -0,0 +1,32 @@
+#!/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-haddock <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/haddock.bin $ghc_binary_dir/bin/haddock.exe
+strip $ghc_binary_dir/bin/haddock.exe
+
+echo "rejig lib/"
+mv lib/i386-unknown-mingw32/* $ghc_binary_dir
+
+exit 0
-- 
1.7.10.4