1 ;;; GNU Guix --- Functional package management for GNU
2 ;;; Copyright © 2014 Manolis Fragkiskos Ragkousis <manolis837@gmail.com>
4 ;;; This file is part of GNU Guix.
6 ;;; GNU Guix is free software; you can redistribute it and/or modify it
7 ;;; under the terms of the GNU General Public License as published by
8 ;;; the Free Software Foundation; either version 3 of the License, or (at
9 ;;; your option) any later version.
11 ;;; GNU Guix is distributed in the hope that it will be useful, but
12 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 ;;; GNU General Public License for more details.
16 ;;; You should have received a copy of the GNU General Public License
17 ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
19 (define-module (gnu packages hurd)
20 #:use-module (guix licenses)
21 #:use-module (guix download)
22 #:use-module (guix packages)
23 #:use-module (guix build-system gnu)
24 #:use-module (gnu packages flex)
25 #:use-module (gnu packages bison)
26 #:use-module (gnu packages perl)
27 #:use-module (gnu packages autotools))
29 (define-public gnumach-headers
31 (name "gnumach-headers")
36 (uri (string-append "mirror://gnu/gnumach/gnumach-"
40 "0r371wsm7imx356p0xsls5hifb1gf9y90rm1phr0qkahbmfk9hlv"))))
41 (build-system gnu-build-system)
43 `(#:phases (alist-replace
47 (system* "make" "install-data")))
52 ;; GNU Mach supports only IA32 currently, so cheat so that we can at
53 ;; least install its headers.
54 #:configure-flags '("--build=i686-pc-gnu")
57 (home-page "https://www.gnu.org/software/hurd/microkernel/mach/gnumach.html")
58 (synopsis "GNU Mach kernel headers")
60 "Headers of the GNU Mach kernel.")
70 (uri (string-append "mirror://gnu/mig/mig-"
74 "1jgzggnbp22sa8z5dilm43zy12vlf1pjxfb3kh13xrfhcay0l97b"))))
75 (build-system gnu-build-system)
76 (inputs `(("gnumach-headers" ,gnumach-headers)))
80 (arguments `(#:tests? #f))
81 (home-page "http://www.gnu.org/software/hurd/microkernel/mach/mig/gnu_mig.html")
82 (synopsis "Mach 3.0 interface generator for the Hurd")
84 "GNU MIG is the GNU distribution of the Mach 3.0 interface generator
85 MIG, as maintained by the GNU Hurd developers for the GNU project.
86 You need this tool to compile the GNU Mach and GNU Hurd distributions,
87 and to compile the GNU C library for the Hurd. Also,you will need it
88 for other software in the GNU system that uses Mach-based inter-process
92 (define-public hurd-headers
98 (uri (string-append "mirror://gnu/hurd/hurd-"
102 "0lvkz3r0ngb4bsn2hzdc9vjpyrfa3ls36jivrvy1n7f7f55zan7q"))))
103 (build-system gnu-build-system)
105 `(;; Autoconf shouldn't be necessary but there seems to be a bug in the
106 ;; build system triggering its use.
107 ("autoconf" ,autoconf)
111 `(#:phases (alist-replace
114 (zero? (system* "make" "install-headers" "no_deps=t")))
115 (alist-delete 'build %standard-phases))
117 #:configure-flags '(;; Pretend we're on GNU/Hurd; 'configure' wants
121 ;; Reduce set of dependencies.
125 (home-page "http://www.gnu.org/software/hurd/hurd.html")
126 (synopsis "GNU Hurd headers")
128 "This package provides C headers of the GNU Hurd, used to build the GNU C
129 Library and other user programs.")