[MLton-commit] r7487

[Wesley Terpstra]

A quick-n-dirty work-around until gcc gets fixed.


----------------------------------------------------------------------

U   mlton/trunk/package/debian/changelog
A   mlton/trunk/package/debian/patches/00-no-relocs-on-mips.patch
U   mlton/trunk/package/debian/patches/series

----------------------------------------------------------------------

Modified: mlton/trunk/package/debian/changelog
===================================================================
--- mlton/trunk/package/debian/changelog	2010-06-12 14:41:06 UTC (rev 7486)
+++ mlton/trunk/package/debian/changelog	2010-06-14 16:37:30 UTC (rev 7487)
@@ -1,3 +1,10 @@
+mlton (20100608-2) unstable; urgency=low
+
+  * Added a new '-mno-explicit-relocs' mips work-around.
+   * Bug filed with gcc upstream: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44537
+
+ -- Wesley W. Terpstra (Debian) <terpstra at debian.org>  Mon, 14 Jun 2010 18:28:58 +0200
+
 mlton (20100608-1) unstable; urgency=low
 
   * New upstream release

Added: mlton/trunk/package/debian/patches/00-no-relocs-on-mips.patch
===================================================================
--- mlton/trunk/package/debian/patches/00-no-relocs-on-mips.patch	2010-06-12 14:41:06 UTC (rev 7486)
+++ mlton/trunk/package/debian/patches/00-no-relocs-on-mips.patch	2010-06-14 16:37:30 UTC (rev 7487)
@@ -0,0 +1,18 @@
+Description: Work around for broken mips(el) gcc codegen
+Author: Wesley W. Terpstra (Debian) <terpstra at debian.org>
+Bug-Debian: http://bugs.debian.org/552314
+Bug: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44537
+Forwarded: no
+Last-Update: 2010-06-14
+
+diff -Nur -x '*.orig' -x '*~' mlton/bin/mlton-script mlton.new/bin/mlton-script
+--- mlton/bin/mlton-script	2009-11-07 17:29:05.000000000 +0100
++++ mlton.new/bin/mlton-script	2009-11-07 17:31:43.000000000 +0100
+@@ -115,6 +115,7 @@
+         -target-cc-opt openbsd '-I/usr/local/include'            \
+         -target-cc-opt aix '-maix64'                             \
+         -target-cc-opt ia64 "$ia64hpux -mtune=itanium2"          \
++        -target-cc-opt mips '-mno-explicit-relocs'               \
+         -target-cc-opt sparc '-m32 -mcpu=v8 -Wa,-xarch=v8plusa'  \
+         -target-cc-opt x86                                       \
+                 '-m32

Modified: mlton/trunk/package/debian/patches/series
===================================================================
--- mlton/trunk/package/debian/patches/series	2010-06-12 14:41:06 UTC (rev 7486)
+++ mlton/trunk/package/debian/patches/series	2010-06-14 16:37:30 UTC (rev 7487)
@@ -0,0 +1 @@
+00-no-relocs-on-mips.patch