From b218f112dc2ca41ede992b9478b981eb353b85a0 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 18 Feb 2014 17:22:50 +0000 Subject: [PATCH] gnu: hurd: Add GNU Mig. * gnu/packages/hurd.scm (gnumig): Add GNU Mig --- gnu/packages/hurd.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm index f915eda..d02a6d7 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm @@ -20,6 +20,8 @@ #:use-module (guix licenses) #:use-module (guix download) #:use-module (guix packages) + #:use-module (gnu packages flex) + #:use-module (gnu packages bison) #:use-module (guix build-system gnu)) (define-public gnumach-headers @@ -55,3 +57,34 @@ (description "Headers of the GNU Mach kernel.") (license gpl2+))) + +(define-public gnumig + (package + (name "gnumig") + (version "1.4") + (source + (origin + (method url-fetch) + (uri (string-append "mirror://gnu/mig/mig-" + version ".tar.gz")) + (sha256 + (base32 + "1jgzggnbp22sa8z5dilm43zy12vlf1pjxfb3kh13xrfhcay0l97b")))) + (build-system gnu-build-system) + (inputs `(("gnumach-headers" ,gnumach-headers))) + (native-inputs + `(("flex" ,flex) + ("bison" ,bison))) + (arguments + `(#:configure-flags '("TARGET_CPPFLAGS=-I /include" "--build=i686-pc-gnu") + #:phases (alist-delete + 'build + %standard-phases) + #:tests? #f)) + (home-page "http://www.gnu.org/software/hurd/microkernel/mach/mig/gnu_mig.html") + (synopsis "GNU MIG, the Mach interface generator") + (description + "GNU MIG is the GNU distribution of the Mach 3.0 interface generator MIG, as maintained by the GNU Hurd developers for the GNU project. +You need this tool to compile the GNU Mach and GNU Hurd distributions, and to compile the GNU C library for the Hurd. Also, you will need it +for other software in the GNU system that uses Mach-based inter-process communication.") + (license gpl2+))) -- 1.8.5.3