[PATCH] build: Correctly determine the system type for GNU/Hurd systems.

[PATCH] build: Correctly determine the system type for GNU/Hurd systems.

[Manolis Ragkousis]

[-- Attachment #1: Type: text/plain, Size: 204 bytes --]

Hello everyone,

With this patch, anyone wanting to use Guix on his Hurd system will no
longer need to pass the system type to configure.

If it's okay I will push it to core-updates.

Thank you,
Manolis

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-build-Correctly-determine-the-system-type-for-GNU-Hu.patch --]
[-- Type: text/x-patch; name="0001-build-Correctly-determine-the-system-type-for-GNU-Hu.patch", Size: 847 bytes --]

From b4aae91b25930b8f5cdb8af802e480eca8caf12e Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <manolis837@gmail.com>
Date: Sat, 26 Mar 2016 16:53:40 +0200
Subject: [PATCH] build: Correctly determine the system type for GNU/Hurd
 systems.

* m4/guix.m4 (GUIX_SYSTEM_TYPE): Add case for gnu.
---
 m4/guix.m4 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/m4/guix.m4 b/m4/guix.m4
index 2d3dfd2..3396e05 100644
--- a/m4/guix.m4
+++ b/m4/guix.m4
@@ -74,6 +74,9 @@ AC_DEFUN([GUIX_SYSTEM_TYPE], [
        linux-gnu*)
 	  # For backward compatibility, strip the `-gnu' part.
 	  guix_system="$machine_name-linux";;
+       gnu*)
+          # When on Hurd, use i586 always.
+          guix_system="i586-gnu";;
        *)
 	  # Strip the version number from names such as `gnu0.3',
 	  # `darwin10.2.0', etc.
-- 
2.8.3

Re: [PATCH] build: Correctly determine the system type for GNU/Hurd systems.

[Ludovic Courtès]

Manolis Ragkousis <manolis837@gmail.com> skribis:

> From b4aae91b25930b8f5cdb8af802e480eca8caf12e Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <manolis837@gmail.com>
> Date: Sat, 26 Mar 2016 16:53:40 +0200
> Subject: [PATCH] build: Correctly determine the system type for GNU/Hurd
>  systems.
>
> * m4/guix.m4 (GUIX_SYSTEM_TYPE): Add case for gnu.
> ---
>  m4/guix.m4 | 3 +++
>  1 file changed, 3 insertions(+)
>
> diff --git a/m4/guix.m4 b/m4/guix.m4
> index 2d3dfd2..3396e05 100644
> --- a/m4/guix.m4
> +++ b/m4/guix.m4
> @@ -74,6 +74,9 @@ AC_DEFUN([GUIX_SYSTEM_TYPE], [
>         linux-gnu*)
>  	  # For backward compatibility, strip the `-gnu' part.
>  	  guix_system="$machine_name-linux";;
> +       gnu*)
> +          # When on Hurd, use i586 always.

“Always use i586 for GNU/Hurd.”

Apart from that, LGTM!

I wonder why this is needed though; normally, when building on
i586-unknown-gnu*, the next case:

--8<---------------cut here---------------start------------->8---
     case "$host_os" in
       linux-gnu*)
	  # For backward compatibility, strip the `-gnu' part.
	  guix_system="$machine_name-linux";;
       *)    # ← THIS CASE
	  # 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'`";;
     esac
--8<---------------cut here---------------end--------------->8---

… should produce “i586-gnu”, no?  What did you observe?  To put it
differently, what does ./build-aux/config.guess return on a GNU/Hurd
system?

Thanks,
Ludo’.

Re: [PATCH] build: Correctly determine the system type for GNU/Hurd systems.

[Manolis Ragkousis]

Hello everyone,

On 06/19/16 16:57, Ludovic Courtès wrote:
> I wonder why this is needed though; normally, when building on
> i586-unknown-gnu*, the next case:
> 
> --8<---------------cut here---------------start------------->8---
>      case "$host_os" in
>        linux-gnu*)
> 	  # For backward compatibility, strip the `-gnu' part.
> 	  guix_system="$machine_name-linux";;
>        *)    # ← THIS CASE
> 	  # 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'`";;
>      esac
> --8<---------------cut here---------------end--------------->8---
> 
> … should produce “i586-gnu”, no?  What did you observe?  To put it
> differently, what does ./build-aux/config.guess return on a GNU/Hurd
> system?

It produces "i686-gnu0.8" which is problematic and we expect "i586-gnu"
for our binaries to work.

I will push the updated patch to core-updates.

Thank you,
Manolis

Re: [PATCH] build: Correctly determine the system type for GNU/Hurd systems.

[Ludovic Courtès]

Hi!

Manolis Ragkousis <manolis837@gmail.com> skribis:

> On 06/19/16 16:57, Ludovic Courtès wrote:
>> I wonder why this is needed though; normally, when building on
>> i586-unknown-gnu*, the next case:
>> 
>> --8<---------------cut here---------------start------------->8---
>>      case "$host_os" in
>>        linux-gnu*)
>> 	  # For backward compatibility, strip the `-gnu' part.
>> 	  guix_system="$machine_name-linux";;
>>        *)    # ← THIS CASE
>> 	  # 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'`";;
>>      esac
>> --8<---------------cut here---------------end--------------->8---
>> 
>> … should produce “i586-gnu”, no?  What did you observe?  To put it
>> differently, what does ./build-aux/config.guess return on a GNU/Hurd
>> system?
>
> It produces "i686-gnu0.8" which is problematic and we expect "i586-gnu"
> for our binaries to work.

OK.  I can imagine that config.guess cannot distinguish between i686 and
i586; the “0.8” part is fun and much less expected (the last GNU release
that ever happened was called “0.3” :-)).

> I will push the updated patch to core-updates.

Perfect, thanks!

Ludo’.