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 | |
parent | 87e8c55ece4d0d4f84af26991792afcddc7ef4a4 (diff) | |
download | haskell-e84dc37c1dd661eb1a8425222280f04f573597dc.tar.gz |
Remove the distrib/prep-bin-* scripts
They are no longer used
Diffstat (limited to 'distrib')
-rw-r--r-- | distrib/prep-bin-dist-mingw | 203 | ||||
-rw-r--r-- | distrib/prep-bin-dist-mingw-alex | 32 | ||||
-rw-r--r-- | distrib/prep-bin-dist-mingw-args | 33 | ||||
-rw-r--r-- | distrib/prep-bin-dist-mingw-greencard | 33 | ||||
-rw-r--r-- | distrib/prep-bin-dist-mingw-haddock | 32 | ||||
-rw-r--r-- | distrib/prep-bin-dist-mingw-happy | 32 | ||||
-rw-r--r-- | distrib/prep-bin-dist-mingw-hdirect | 36 |
7 files changed, 0 insertions, 401 deletions
diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw deleted file mode 100644 index f98bb88847..0000000000 --- a/distrib/prep-bin-dist-mingw +++ /dev/null @@ -1,203 +0,0 @@ -#!/bin/sh -# -# Modify a GHC binary distribution for the purposes of creating a -# mingw/win32 install tree. The resulting tree is ready for packaging -# up in whatever form is convenient (MSI installer / tar bundle/ ..) -# -# To use: -# -# $ cd <top of GHC build tree> -# $ make binary-dist -# -# This script is called at the appropriate point during 'make binary-dist'. -# The result is a tarball at the top of your GHC build tree, named something -# like ghc-6.6.1-i386-unknown-mingw32.tar.bz2. -# -# User tweakables -# Note: you normally don't need to set any of these, the script -# will try to figure them out for itself. If the heuristics don't -# work for whatever reason, you can override them using environment -# variables, e.g. -# mingw_top=<whatever> make binary-dist -# -# - mingw_top -- location of mingw distribution tree (usually c:/mingw) -# - perl_dir -- location of non-cygwin perl.exe -# - gcc_lib -- c:/mingw/lib/gcc/mingw32/3.4.2, or equivalent -# - gcc_libexec -- c:/mingw/libexec/gcc/mingw32/3.4.2, or equivalent -# - -#Directory where a (cygwin-free) perl binary resides. -if [ "${perl_dir}" == "" ]; then - for i in c:/ghc/*; do - if [ -e $i/perl.exe ]; then - perl_dir=$i - echo "Found perl.exe in $i" - break - fi - done - if [ "${perl_dir}" == "" ]; then - echo "Can't find perl.exe; please set \$perl_dir" - exit 1 - fi -fi - -if [ "${mingw_top}" == "" ]; then - if [ -d c:/mingw ]; then - mingw_top=c:/mingw - echo "Found mingw in $mingw_top" - else - echo "Can't find mingw; please set \$mingw_top" - exit 1 - fi -fi - -# The gcc-lib directory of the mingw tree you want to -# include with the binary dist. -if [ "x${gcc_lib}" == "x" ]; then - if [ -d "${mingw_top}/lib/gcc-lib/mingw32" ]; then - mingw_gcc_lib=${mingw_top}/lib/gcc-lib/mingw32 - else - mingw_gcc_lib=${mingw_top}/lib/gcc/mingw32 - fi - for i in `ls -r ${mingw_gcc_lib}`; do - if [ -d "${mingw_gcc_lib}/$i" ]; then - gcc_lib=${mingw_gcc_lib}/$i - echo "Found gcc lib in $gcc_lib" - break - fi - done - if [ "${gcc_lib}" == "" ]; then - echo "Can't find gcc lib files; please set \$gcc_lib" - exit 1 - fi -fi - -# The gcc-lib directory of the mingw tree you want to -# include with the binary dist. -if [ "x${gcc_libexec}" == "x" ]; then - if [ -d "${mingw_top}/libexec/gcc-lib/mingw32" ]; then - mingw_gcc_libexec=${mingw_top}/libexec/gcc-lib/mingw32 - else - mingw_gcc_libexec=${mingw_top}/libexec/gcc/mingw32 - fi - for i in `ls -r ${mingw_gcc_libexec}`; do - if [ -d "${mingw_gcc_libexec}/$i" ]; then - gcc_libexec=${mingw_gcc_libexec}/$i - echo "Found gcc libexec in $gcc_libexec" - break - fi - done - if [ "${gcc_libexec}" == "" ]; then - echo "Can't find gcc libexec files; please set \$gcc_libexec" - exit 1 - fi -fi - -# -# The mingw include, lib, and bin directories; all derived -# from ${mingw_top}. -# -if [ "x${mingw_include}" == "x" ]; then - export mingw_include=$mingw_top/include -fi -if [ "x${mingw_lib}" == "x" ]; then - export mingw_lib=$mingw_top/lib -fi -if [ "x${mingw_bin}" == "x" ]; then - export mingw_bin=$mingw_top/bin -fi - -# Check that we're in an OK place before starting to re-org -# the directory tree.. -if ! [ -d bin ] ; 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; - -if [ "`$mingw_bin/windres.exe --version | sed '1p;d'`" = "GNU windres 2.17.50 20060824" ] -then - echo "Bad windres version for $mingw_bin/windres.exe." - echo "2.15.91 and 2.18.50 are known to work." - exit 1 -fi - -echo "Removing configure script files...not needed" -rm -f config.guess config.sub configure configure.ac mkdirhier -rm -f Makefile-bin.in Makefile.in aclocal.m4 install-sh -rm -rf autom4te.cache - -echo "strip ghc" -strip bin/ghc.exe - -echo "create gcc-lib/" -# -# A bunch of stuff gets lumped into gcc-lib: -# -# - the gcc-lib/ + gcc-lib/include of the gcc you -# intend to ship (normally located as -# lib/gcc-lib/mingw/<gcc version>/ in your mingw tree.) -# - the contents of mingw/lib/ -# - ld.exe, as.exe, dlltool.exe, dllwrap.exe from mingw/bin -# to gcc-lib/ -# - ar.exe from mingw/bin to bin/ -# -mkdir gcc-lib -mkdir gcc-lib/include -cp $gcc_lib/* gcc-lib/ -cp $gcc_libexec/* gcc-lib/ -cp $gcc_lib/include/* gcc-lib/include/ -cp $mingw_lib/* gcc-lib/ -cp $mingw_bin/as.exe gcc-lib/ -cp $mingw_bin/ld.exe gcc-lib/ -cp $mingw_bin/ar.exe bin/ -cp $mingw_bin/windres.exe bin/ -# Note: later versions of dlltool.exe depend on a bfd helper DLL. -cp $mingw_bin/dllwrap.exe gcc-lib/ -cp $mingw_bin/dlltool.exe gcc-lib/ -# Remove worthy, but unused tools -rm gcc-lib/f771.exe || echo "good - f771.exe not found" -rm gcc-lib/gnat1.exe || echo "good - gnat1.exe not found" -rm gcc-lib/jc1.exe || echo "good - jc1.exe not found" -rm gcc-lib/libgcj* || echo "good - libgcj libs not found" -rm gcc-lib/jvgenmain.exe || echo "good - jvgenmain.exe not found" - -echo "extra header files inside of include/" -# -# contains mingw/include -mkdir include/mingw -cp -Rf $mingw_include/* include/mingw -# -# g++-3/ subdir causes problems with installer tool (+ being a -# troublesome character); leave out for now. -#rm -rf include/mingw/g++-3/ || echo "g++-3/ not there" -#rm -rf include/mingw/c++/ || echo "c++/ not there" -rm -rf include/mingw/ddk/ || echo "ddk/ not there" -rm -rf include/mingw/gnu/ || echo "gnu/ not there" -rm -rf include/mingw/javax/ || echo "javax/ not there" -rm -rf include/mingw/java/ || echo "java/ not there" -rm -rf include/mingw/gcj/ || echo "gcj/ not there" - -echo "add gcc" -cp ${mingw_bin}/gcc.exe . -#cp ${mingw_bin}/gcc-2.exe gcc.exe - -echo "copy in perl too" -cp ${perl_dir}/perl.exe . -cp ${perl_dir}/perl56.dll . - -# For reasons unknown, duplicate copies of misc package files in share/ -# (leave them be for now.) - -echo "formatting documentation" -unix2dos < README > README.txt -rm README - -# Leave out pdf users_guide documentation for now; problematic to build with the versions -# of 'xsltproc' and 'fop' I've been able to lay my hands on. -#cp ../ghc/docs/users_guide/users_guide.pdf doc/ || -# (make -C ../ghc/docs/users_guide/ pdf ; cp ../ghc/docs/users_guide/users_guide.pdf doc/) || -# echo "No User Guide PDF doc found" -#cp ../hslibs/doc/hslibs.pdf doc/ || -# (make -C ../hslibs/doc/ pdf ; cp ../hslibs/doc/hslibs.pdf doc/) || -# echo "No HSLIBS PDF doc found" 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 diff --git a/distrib/prep-bin-dist-mingw-args b/distrib/prep-bin-dist-mingw-args deleted file mode 100644 index d9e81b0dee..0000000000 --- a/distrib/prep-bin-dist-mingw-args +++ /dev/null @@ -1,33 +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-args <perl-dir> <mingw-top> <mingw-gcc-lib> -# - -# Directory where a (cygwin-free) perl binary resides. -export perl_dir=$1 - -# Top of the MinGW32 compiler directory -export mingw_top=$2 - -# The gcc-lib directory of the mingw tree you want to -# include with the binary dist. -export gcc_lib=$mingw_top/$3 - -# -# The mingw include, lib, and bin directories. -# -export mingw_include=$mingw_top/include -export mingw_lib=$mingw_top/lib -export mingw_bin=$mingw_top/bin - -exec $0/../prep-bin-dist-mingw diff --git a/distrib/prep-bin-dist-mingw-greencard b/distrib/prep-bin-dist-mingw-greencard deleted file mode 100644 index b9b6380f0f..0000000000 --- a/distrib/prep-bin-dist-mingw-greencard +++ /dev/null @@ -1,33 +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=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
diff --git a/distrib/prep-bin-dist-mingw-haddock b/distrib/prep-bin-dist-mingw-haddock deleted file mode 100644 index d56cb54312..0000000000 --- a/distrib/prep-bin-dist-mingw-haddock +++ /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-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 diff --git a/distrib/prep-bin-dist-mingw-happy b/distrib/prep-bin-dist-mingw-happy deleted file mode 100644 index 8b9d364e81..0000000000 --- a/distrib/prep-bin-dist-mingw-happy +++ /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-happy <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/happy.bin $ghc_binary_dir/bin/happy.exe -strip $ghc_binary_dir/bin/happy.exe - -echo "rejig lib/" -mv lib/i386-unknown-mingw32/* $ghc_binary_dir - -exit 0 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
|