From b92f76374f34068e3a41130cdba88ac2c5924804 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 18 Nov 2011 17:25:40 +0000
Subject: [PATCH] * In the platform, canonicalise "amd64" to "x86_64".  FreeBSD
 8.2's   uname reports amd64. * Drop the FreeBSD version number, e.g.
 "i686-freebsd" instead of   "i686-freebsd8.2".

---
 configure.ac | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/configure.ac b/configure.ac
index b3cc8eee..2ce755d6 100644
--- a/configure.ac
+++ b/configure.ac
@@ -17,6 +17,8 @@ AC_ARG_WITH(system, AC_HELP_STRING([--with-system=SYSTEM],
   [case "$host_cpu" in
      i*86)
         machine_name="i686";;
+     amd64)
+        machine_name="x86_64";;
      *)
         machine_name="$host_cpu";;
    esac
@@ -25,6 +27,9 @@ AC_ARG_WITH(system, AC_HELP_STRING([--with-system=SYSTEM],
      linux-gnu*)
 	# For backward compatibility, strip the `-gnu' part.
 	system="$machine_name-linux";;
+     freebsd*)
+	# Strip the version number (e.g. freebsd8.2).
+	system="$machine_name-freebsd";;
      *)
         # Strip the version number from names such as `gnu0.3',
         # `darwin10.2.0', etc.