about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--configure.ac9
1 files changed, 6 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac
index cbca1aecb411..98a97278824c 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')])