From eb25a30a42fcfa5e3fec9c87b3f8a2ff20d01c3c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Fri, 5 Jul 2013 14:14:21 +0200 Subject: build: Correctly determine the system type for non-Linux systems. * m4/guix.m4 (GUIX_SYSTEM_TYPE): Find `sed'. Fix sed pattern in the non-Linux case. --- m4/guix.m4 | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'm4/guix.m4') diff --git a/m4/guix.m4 b/m4/guix.m4 index 4fdc409602..ed2e720241 100644 --- a/m4/guix.m4 +++ b/m4/guix.m4 @@ -40,6 +40,8 @@ dnl Determine the Guix host system type, and store it in the dnl `guix_system' variable. AC_DEFUN([GUIX_SYSTEM_TYPE], [ AC_REQUIRE([AC_CANONICAL_HOST]) + AC_PATH_PROG([SED], [sed]) + AC_ARG_WITH(system, AC_HELP_STRING([--with-system=SYSTEM], [Platform identifier (e.g., `i686-linux').]), [guix_system="$withval"], @@ -59,7 +61,7 @@ AC_DEFUN([GUIX_SYSTEM_TYPE], [ *) # Strip the version number from names such as `gnu0.3', # `darwin10.2.0', etc. - guix_system="$machine_name-`echo $host_os | "$SED" -e's/@<:@0-9.@:>@*$//g'`";; + guix_system="$machine_name-`echo $host_os | "$SED" -e's/[0-9.]*$//g'`";; esac]) AC_MSG_CHECKING([for the Guix system type]) -- cgit v1.2.3