diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-05-18 09:45:46 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-05-18 09:45:46 +0000 |
| commit | 1d08093b4894e4ded9eaf591a2547a74d33e1bfb (patch) | |
| tree | 51e523c106e05ca4a55674d5ac8129b8204dd392 /configure.ac | |
| parent | 8e9fd57ef9aa47214418212916e54c5644721335 (diff) | |
* Go back to the old way of generating the system name, and allow it
to be specified in configure (using `--with-system=SYSTEM').
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 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')]) |