[project @ 2004-10-12 16:33:00 by sof]
authorsof <unknown>
Tue, 12 Oct 2004 16:33:01 +0000 (16:33 +0000)
committersof <unknown>
Tue, 12 Oct 2004 16:33:01 +0000 (16:33 +0000)
Had enough of 'make boot' completely rebuilding gmp/ each time around.

ghc/rts/Makefile
ghc/rts/gmp/configure

index efc244d..cf81863 100644 (file)
@@ -225,8 +225,12 @@ endif
 ifneq "$(HaveLibGmp)" "YES"
 ifneq "$(HaveFrameworkHaskellSupport)" "YES"
 boot ::
 ifneq "$(HaveLibGmp)" "YES"
 ifneq "$(HaveFrameworkHaskellSupport)" "YES"
 boot ::
-       cd gmp && CC=$(WhatGccIsCalled) ./configure --enable-shared=no \
-               --host=`echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'`
+       if [ -f gmp/config.status ]; then \
+          cd gmp && CC=$(WhatGccIsCalled) ./config.status; \
+        else \
+          cd gmp && CC=$(WhatGccIsCalled) ./configure --enable-shared=no \
+                       --host=`echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'`; \
+       fi
 
 # Slight cheatage here to pass host as target, but x-compilation isn't supported by ghc.
 
 
 # Slight cheatage here to pass host as target, but x-compilation isn't supported by ghc.
 
index 8b7be87..8294680 100644 (file)
@@ -5173,10 +5173,18 @@ for ac_file in : $CONFIG_LINKS; do if test "x$ac_file" != x:; then
       *) ac_rel_source="$ac_dots$srcdir/$ac_source" ;;
   esac
 
       *) 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 :
   # 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 cp $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 copy $ac_dest to $srcdir/$ac_source" 1>&2; exit 1; }
   fi
   else
     { echo "configure: error: cannot copy $ac_dest to $srcdir/$ac_source" 1>&2; exit 1; }
   fi