From 1d08093b4894e4ded9eaf591a2547a74d33e1bfb Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 18 May 2004 09:45:46 +0000
Subject: [PATCH] * Go back to the old way of generating the system name, and
 allow it   to be specified in configure (using `--with-system=SYSTEM').

---
 configure.ac | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/configure.ac b/configure.ac
index cbca1aecb..98a972788 100644
--- a/configure.ac
+++ b/configure.ac
@@ -22,9 +22,12 @@ AC_CANONICAL_HOST
 
 # Construct a Nix system name (like "i686-linux").
 AC_MSG_CHECKING([for the canonical Nix system name])
-machine_name=`uname -m`
-sys_name=`uname -s | tr [A-Z] [a-z]`
-system="${machine_name}-${sys_name}"
+#machine_name=`uname -m`
+#sys_name=`uname -s | tr [A-Z] [a-z]`
+#system="${machine_name}-${sys_name}"
+AC_ARG_WITH(system, AC_HELP_STRING([--with-system=SYSTEM],
+  [platform identifier (e.g., `i686-linux')]),
+  system=$withval, system="$host_cpu-$host_os")
 AC_MSG_RESULT($system)
 AC_SUBST(system)
 AC_DEFINE_UNQUOTED(SYSTEM, ["$system"], [platform identifier (`cpu-os')])