Commit | Line | Data |
---|---|---|
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 | |
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 | |
89 | communication.") | |
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. | |
119 | "--host=i686-pc-gnu" | |
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 | |
129 | Library and other user programs.") | |
130 | (license gpl2+))) |