X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=distrib%2Fprep-bin-dist-mingw;h=b2be5c9a2520b21cd3396075e900a7f94ea88727;hp=042805a5be1cafd9f6ef69c0f188710a50a2b72a;hb=1525a5819aa3a6eae8d8b05cfe348a2384da0c84;hpb=e793f8bf9331341e3d1ab9fcd7b6000c8cfaaa16

diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw
index 042805a..b2be5c9 100644
--- a/distrib/prep-bin-dist-mingw
+++ b/distrib/prep-bin-dist-mingw
@@ -36,11 +36,28 @@ fi
 
 # The gcc-lib directory of the mingw tree you want to
 # include with the binary dist.
-if [ "x${gcc_version}" == "x" ]; then
-  # The default (with mingw3)
-  export gcc_lib=$mingw_top/lib/gcc-lib/mingw32/3.2.3
-else
-  export gcc_lib=$mingw_top/lib/gcc-lib/mingw32/${gcc_version}
+if [ "x${gcc_lib}" == "x" ]; then
+ if [ "x${gcc_version}" == "x" ]; then
+   # The default (with mingw3)
+   export gcc_lib=$mingw_top/lib/gcc-lib/mingw32/3.2.3
+ else
+   export gcc_lib=$mingw_top/lib/gcc-lib/mingw32/${gcc_version}
+ fi
+fi
+if [ "x${gcc_libexec}" == "x" ]; then
+ if [ "x${gcc_version}" == "x" ]; then
+   # The default (with mingw3)
+   export gcc_libexec=$mingw_top/lib/gcc-lib/mingw32/3.2.3
+ else
+   if [ -d $mingw_top/lib/gcc-lib/mingw32/${gcc_version} ]; then
+     export gcc_libexec=$mingw_top/lib/gcc-lib/mingw32/${gcc_version}
+   elif [ -d $mingw_top/libexec/gcc/mingw32/${gcc_version} ]; then
+     export gcc_libexec=$mingw_top/libexec/gcc/mingw32/${gcc_version}
+   else
+     echo "WARNING: Unable to determine location of your gcc 'libexec' directory"
+     export gcc_libexec=$mingw_top/lib/gcc-lib/mingw32/${gcc_version}
+   fi
+ fi
 fi
 
 #Directory where a (cygwin-free) perl binary resides.
@@ -102,6 +119,7 @@ echo "create gcc-lib/"
 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/
@@ -110,7 +128,12 @@ cp $mingw_bin/ar.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/"
 #