~ chicken-core (chicken-5) 68d0c2d14b5265d85d0e2c9ee1b9e34645caafc9

commit 68d0c2d14b5265d85d0e2c9ee1b9e34645caafc9
Author:     Peter Bex <peter@more-magic.net>
AuthorDate: Tue Sep 1 20:25:34 2015 +0200
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Mon Sep 7 20:52:55 2015 +1200

    Add support for the Linux X32 ABI.
    
    This is simply a check on ARCH to add a flag to the C compiler and
    the linker.
    
    Thanks to Sven Hartrumpf for pointing out CHICKEN now supports this
    since the argvector changes, and for testing.
    
    Signed-off-by: Evan Hanson <evhan@foldling.org>

diff --git a/Makefile.linux b/Makefile.linux
index 45ae3a28..4ec121c8 100644
--- a/Makefile.linux
+++ b/Makefile.linux
@@ -50,6 +50,13 @@ LIBRARIES = -lm -ldl
 NEEDS_RELINKING = yes
 USES_SONAME = yes
 
+# architectures
+
+ifeq ($(ARCH),x32)
+C_COMPILER_OPTIONS += -mx32
+LINKER_OPTIONS += -mx32
+endif
+
 # special files
 
 CHICKEN_CONFIG_H = chicken-config.h
diff --git a/NEWS b/NEWS
index b9be047f..5d033966 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,8 @@
+4.10.2
+
+- Platform support
+  - CHICKEN now supports the Linux X32 ABI (thanks to Sven Hartrumpf).
+
 4.10.1
 
 - Core libraries
diff --git a/README b/README
index a9f9f0f8..91e39740 100644
--- a/README
+++ b/README
@@ -413,6 +413,9 @@
 
         Linux:
 
+	  - If you want to build Linux binaries which use the "X32 ABI",
+	    you can pass ARCH=x32 on the Make command line.
+
 	  - Some old Linux distributions ship with a buggy version of
 	    the GNU C compiler (2.96). If the system is configured for
 	    kernel recompilation, then an alternative GCC version is