diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 9 |
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')]) |