X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2Fgmp%2Fconfigure;h=82946804862778db71401e6483e424f231f5adc4;hb=b6d70ef77033fd09f7bfb9c020fd9e40b3dbac29;hp=3f9e24a7b60b433a80c203bfc006e05d609b283b;hpb=8e63a8bd714b1780e80e8ceab5192b933d93f18a;p=ghc-hetmet.git

diff --git a/ghc/rts/gmp/configure b/ghc/rts/gmp/configure
index 3f9e24a..8294680 100644
--- a/ghc/rts/gmp/configure
+++ b/ghc/rts/gmp/configure
@@ -3094,7 +3094,7 @@ if test "$ac_cv_prog_gcc" = yes; then
   # Check if gcc -print-prog-name=ld gives a path.
   echo $ECHO_N "checking for ld used by GCC... $ECHO_C" 1>&6
 echo "configure:3090: checking for ld used by GCC" 1>&5
-  case $lt_target in
+  case $target in
   *-*-mingw*)
     # gcc leaves a trailing carriage return which upsets mingw
     ac_prog=`($CC -print-prog-name=ld) 2>&5 | tr -d '\015'` ;;
@@ -5148,7 +5148,7 @@ for ac_file in : $CONFIG_LINKS; do if test "x$ac_file" != x:; then
   ac_dest=`echo "$ac_file" | sed 's%:.*%%'`
   ac_source=`echo "$ac_file" | sed 's%[^:]*:%%'`
 
-  echo "linking $srcdir/$ac_source to $ac_dest"
+  echo "copying $srcdir/$ac_source to $ac_dest"
 
   if test ! -r $srcdir/$ac_source; then
     { echo "configure: error: $srcdir/$ac_source: File not found" 1>&2; exit 1; }
@@ -5173,11 +5173,20 @@ for ac_file in : $CONFIG_LINKS; do if test "x$ac_file" != x:; then
       *) ac_rel_source="$ac_dots$srcdir/$ac_source" ;;
   esac
 
+  # Note: Dodgy local mods to 'make things work' in an environment (cygwin)
+  # that supports symlinks (through silly hack) using tools that don't
+  # understand them (mingw). The end sometimes justifies the means, son.
+  #
   # Make a symlink if possible; otherwise try a hard link.
-  if ln -s $ac_rel_source $ac_dest 2>/dev/null ||
-     ln $srcdir/$ac_source $ac_dest; then :
+  #if ln -s $ac_rel_source $ac_dest 2>/dev/null ||
+  #   ln $srcdir/$ac_source $ac_dest; then :
+  # 
+  # Note: If the -p offends your 'cp', just drop it; no harm done, you'll just 
+  # get more recompilations.
+  # 
+  if cp -p $srcdir/$ac_source $ac_dest; then :
   else
-    { echo "configure: error: cannot link $ac_dest to $srcdir/$ac_source" 1>&2; exit 1; }
+    { echo "configure: error: cannot copy $ac_dest to $srcdir/$ac_source" 1>&2; exit 1; }
   fi
 fi; done
 EOF