| 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) |
| 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)) |
| 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+))) |
| 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+))) |
| 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 | "--build=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+))) |