guix: lint: Make exception for package name starting description.
[jackhill/guix/guix.git] / gnu / packages / hurd.scm
CommitLineData
0193c004
MR
1;;; GNU Guix --- Functional package management for GNU
2;;; Copyright © 2014 Manolis Fragkiskos Ragkousis <manolis837@gmail.com>
3;;;
4;;; This file is part of GNU Guix.
5;;;
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.
10;;;
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.
15;;;
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/>.
18
19(define-module (gnu packages hurd)
20 #:use-module (guix licenses)
21 #:use-module (guix download)
22 #:use-module (guix packages)
396b3c8b
MR
23 #:use-module (guix build-system gnu)
24 #:use-module (gnu packages flex)
dc91c10f
MR
25 #:use-module (gnu packages bison)
26 #:use-module (gnu packages perl)
0497ba3b 27 #:use-module (gnu packages autotools))
0193c004
MR
28
29(define-public gnumach-headers
30 (package
31 (name "gnumach-headers")
32 (version "1.4")
33 (source
34 (origin
35 (method url-fetch)
36 (uri (string-append "mirror://gnu/gnumach/gnumach-"
37 version ".tar.gz"))
38 (sha256
39 (base32
40 "0r371wsm7imx356p0xsls5hifb1gf9y90rm1phr0qkahbmfk9hlv"))))
41 (build-system gnu-build-system)
42 (arguments
43 `(#:phases (alist-replace
44 'install
45 (lambda _
46 (zero?
47 (system* "make" "install-data")))
48 (alist-delete
49 'build
50 %standard-phases))
51
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")
55
56 #:tests? #f))
57 (home-page "https://www.gnu.org/software/hurd/microkernel/mach/gnumach.html")
58 (synopsis "GNU Mach kernel headers")
59 (description
60 "Headers of the GNU Mach kernel.")
61 (license gpl2+)))
396b3c8b
MR
62
63(define-public mig
64 (package
65 (name "mig")
66 (version "1.4")
67 (source
68 (origin
69 (method url-fetch)
70 (uri (string-append "mirror://gnu/mig/mig-"
71 version ".tar.gz"))
72 (sha256
73 (base32
74 "1jgzggnbp22sa8z5dilm43zy12vlf1pjxfb3kh13xrfhcay0l97b"))))
75 (build-system gnu-build-system)
76 (inputs `(("gnumach-headers" ,gnumach-headers)))
77 (native-inputs
78 `(("flex" ,flex)
79 ("bison" ,bison)))
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")
83 (description
84 "GNU MIG is the GNU distribution of the Mach 3.0 interface generator
85MIG, as maintained by the GNU Hurd developers for the GNU project.
86You need this tool to compile the GNU Mach and GNU Hurd distributions,
87and to compile the GNU C library for the Hurd. Also,you will need it
88for other software in the GNU system that uses Mach-based inter-process
89communication.")
90 (license gpl2+)))
dc91c10f
MR
91
92(define-public hurd-headers
93 (package
94 (name "hurd-headers")
95 (version "0.5")
96 (source (origin
97 (method url-fetch)
98 (uri (string-append "mirror://gnu/hurd/hurd-"
99 version ".tar.gz"))
100 (sha256
101 (base32
102 "0lvkz3r0ngb4bsn2hzdc9vjpyrfa3ls36jivrvy1n7f7f55zan7q"))))
103 (build-system gnu-build-system)
104 (native-inputs
105 `(;; Autoconf shouldn't be necessary but there seems to be a bug in the
106 ;; build system triggering its use.
107 ("autoconf" ,autoconf)
108
109 ("mig" ,mig)))
110 (arguments
111 `(#:phases (alist-replace
112 'install
113 (lambda _
114 (zero? (system* "make" "install-headers" "no_deps=t")))
115 (alist-delete 'build %standard-phases))
116
117 #:configure-flags '(;; Pretend we're on GNU/Hurd; 'configure' wants
118 ;; that.
29a61bd0 119 "--build=i686-pc-gnu"
dc91c10f
MR
120
121 ;; Reduce set of dependencies.
122 "--without-parted")
123
124 #:tests? #f))
125 (home-page "http://www.gnu.org/software/hurd/hurd.html")
126 (synopsis "GNU Hurd headers")
127 (description
128 "This package provides C headers of the GNU Hurd, used to build the GNU C
129Library and other user programs.")
130 (license gpl2+)))