Commit | Line | Data |
---|---|---|
0193c004 | 1 | ;;; GNU Guix --- Functional package management for GNU |
78dc4490 | 2 | ;;; Copyright © 2014, 2015 Manolis Fragkiskos Ragkousis <manolis837@gmail.com> |
0193c004 MR |
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") | |
78dc4490 | 32 | (version "1.5") |
0193c004 MR |
33 | (source |
34 | (origin | |
35 | (method url-fetch) | |
36 | (uri (string-append "mirror://gnu/gnumach/gnumach-" | |
37 | version ".tar.gz")) | |
38 | (sha256 | |
39 | (base32 | |
78dc4490 | 40 | "0wsf57q4h6xl2jn28d423qx7zplmhpnf9ssm4f1c0sf8513xm81j")))) |
0193c004 MR |
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") | |
d67513fa | 66 | (version "1.5") |
396b3c8b MR |
67 | (source |
68 | (origin | |
69 | (method url-fetch) | |
70 | (uri (string-append "mirror://gnu/mig/mig-" | |
71 | version ".tar.gz")) | |
72 | (sha256 | |
73 | (base32 | |
d67513fa | 74 | "13r1pg8icyc0pl082z7k36i440pr1f3nr7ahig3rrc0r7qndqmk9")))) |
396b3c8b MR |
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, | |
35b9e423 | 87 | and to compile the GNU C library for the Hurd. Also, you will need it |
396b3c8b MR |
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") | |
41d9c5d3 | 95 | (version "0.6") |
dc91c10f MR |
96 | (source (origin |
97 | (method url-fetch) | |
98 | (uri (string-append "mirror://gnu/hurd/hurd-" | |
99 | version ".tar.gz")) | |
100 | (sha256 | |
101 | (base32 | |
41d9c5d3 | 102 | "059lbspbpcjpcq5jf98f47jw9sm0ngs3x6phxax53m3rwca1fk7y")))) |
dc91c10f MR |
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 | |
129 | Library and other user programs.") | |
130 | (license gpl2+))) |