diff options
| author | mthomas <unknown> | 2004-02-12 02:01:54 +0000 |
|---|---|---|
| committer | mthomas <unknown> | 2004-02-12 02:01:54 +0000 |
| commit | e3c8a2a3fd8fa864b6b25ea7e3dffba634e24813 (patch) | |
| tree | ac46f120d8e239a972930f1e46e41eb281cdd35b /distrib | |
| parent | 89f1a34d1710373d1cfde36af732b37d598a16f0 (diff) | |
| download | haskell-e3c8a2a3fd8fa864b6b25ea7e3dffba634e24813.tar.gz | |
[project @ 2004-02-12 02:01:54 by mthomas]
Rejig haddock and alex.
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/prep-bin-dist-mingw-alex | 32 | ||||
| -rw-r--r-- | distrib/prep-bin-dist-mingw-haddock | 32 |
2 files changed, 64 insertions, 0 deletions
diff --git a/distrib/prep-bin-dist-mingw-alex b/distrib/prep-bin-dist-mingw-alex new file mode 100644 index 0000000000..6c9d535d71 --- /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 0000000000..d56cb54312 --- /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 |