gnu : Add Hurd headers

gnu : Add Hurd headers

[Manolis Ragkousis]

[-- Attachment #1.1: Type: text/plain, Size: 35 bytes --]

The patch adding the Hurd headers.

[-- Attachment #1.2: Type: text/html, Size: 71 bytes --]

[-- Attachment #2: 0003_gnu_add_hurd_headers.patch --]
[-- Type: text/x-patch, Size: 2154 bytes --]

From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <manolis837@gmail.com>
Date: Sat, 1 Mar 2014 14:48:09 +0000
Subject: [PATCH] gnu: hurd: Add Hurd headers.

* gnu/packages/hurd.scm (hurd-headers): New variable.
---
 gnu/packages/hurd.scm | 41 ++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 40 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm
index 3edccbd..4dea3f3 100644
--- a/gnu/packages/hurd.scm
+++ b/gnu/packages/hurd.scm
@@ -22,7 +22,9 @@
   #:use-module (guix packages)
   #:use-module (guix build-system gnu)
   #:use-module (gnu packages flex)
-  #:use-module (gnu packages bison))
+  #:use-module (gnu packages bison)
+  #:use-module (gnu packages perl)
+  #:use-module (gnu packages autotools))
 
 (define-public gnumach-headers
   (package
@@ -86,3 +88,40 @@ and to compile the GNU C library for the Hurd. Also,you will need it
 for other software in the GNU system that uses Mach-based inter-process
 communication.")
     (license gpl2+)))
+
+(define-public hurd-headers
+  (package
+    (name "hurd-headers")
+    (version "0.5")
+    (source
+     (origin
+      (method url-fetch)
+      (uri (string-append "mirror://gnu/hurd/hurd-"
+                          version ".tar.gz"))
+      (sha256
+       (base32
+        "0lvkz3r0ngb4bsn2hzdc9vjpyrfa3ls36jivrvy1n7f7f55zan7q"))))
+    (build-system gnu-build-system)
+    (inputs
+     `(("autoconf" ,autoconf)))
+    (native-inputs
+     `(("mig" ,mig)))
+    (arguments
+     `(#:phases (alist-replace
+                 'install
+                 (lambda _
+                   (zero?
+                    (system* "make" "install-headers" "no_deps=t")))
+                 (alist-delete
+                  'build
+                  %standard-phases))
+            
+       #:configure-flags '("--host=i686-pc-gnu" "--disable-profile"
+                           "--without-parted")
+
+       #:tests? #f))
+    (home-page "http://www.gnu.org/software/hurd/hurd.html")
+    (synopsis "GNU Hurd headers")
+    (description
+     "Headers of the GNU Hurd")
+    (license gpl2+)))
-- 
1.9.0

Re: gnu : Add Hurd headers

[Ludovic Courtès]

Manolis Ragkousis <manolis837@gmail.com> skribis:

> From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <manolis837@gmail.com>
> Date: Sat, 1 Mar 2014 14:48:09 +0000
> Subject: [PATCH] gnu: hurd: Add Hurd headers.
>
> * gnu/packages/hurd.scm (hurd-headers): New variable.

Pushed with a few modifications:

> +    (inputs
> +     `(("autoconf" ,autoconf)))

Autoconf must be listed in ‘native-inputs’: when cross-compiling, you’ll
want the native autoconf program.

Note that this dependency of Autoconf is the result of a bug in the
Hurd’s build system.  Could you report it to the Hurd folks?

> +       #:configure-flags '("--host=i686-pc-gnu" "--disable-profile"
> +                           "--without-parted")

Any non-obvious flag needs to be justified, so I added comments, and
removed --disable-profile, which was not justified.

Thanks!

Ludo’.

Re: gnu : Add Hurd headers

[Manolis Ragkousis]

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

According to the hurd guys "--disable-profile" turns off profiling and they
told me it should be kept . I should have explained that in a comment.

I will talk with them about the autoconf issue.



2014-03-01 18:24 GMT+00:00 Manolis Ragkousis <manolis837@gmail.com>:

> According to the hurd guys "--disable-profile" turns off profiling and
> they told me it should be kept . I should have explained that in a comment.
>
> I will talk with them about the autoconf issue.
>
>
> 2014-03-01 18:02 GMT+00:00 Ludovic Courtès <ludo@gnu.org>:
>
> Manolis Ragkousis <manolis837@gmail.com> skribis:
>>
>> > From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001
>> > From: Manolis Ragkousis <manolis837@gmail.com>
>> > Date: Sat, 1 Mar 2014 14:48:09 +0000
>> > Subject: [PATCH] gnu: hurd: Add Hurd headers.
>> >
>> > * gnu/packages/hurd.scm (hurd-headers): New variable.
>>
>> Pushed with a few modifications:
>>
>> > +    (inputs
>> > +     `(("autoconf" ,autoconf)))
>>
>> Autoconf must be listed in 'native-inputs': when cross-compiling, you'll
>> want the native autoconf program.
>>
>> Note that this dependency of Autoconf is the result of a bug in the
>> Hurd's build system.  Could you report it to the Hurd folks?
>>
>> > +       #:configure-flags '("--host=i686-pc-gnu" "--disable-profile"
>> > +                           "--without-parted")
>>
>> Any non-obvious flag needs to be justified, so I added comments, and
>> removed --disable-profile, which was not justified.
>>
>> Thanks!
>>
>> Ludo'.
>>
>
>

[-- Attachment #2: Type: text/html, Size: 2634 bytes --]

Re: gnu : Add Hurd headers

[Ludovic Courtès]

Manolis Ragkousis <manolis837@gmail.com> skribis:

> According to the hurd guys "--disable-profile" turns off profiling and they
> told me it should be kept . I should have explained that in a comment.

I forgot to mention it, but “--disable-profile disables profiling” is
not a sufficient explanation.  :-)

At any rate, it’s most likely something that makes a difference for the
Hurd itself, but not for when just installing the headers.

> I will talk with them about the autoconf issue.

Great, thanks!

Ludo’.