unofficial mirror of guix-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Manolis Ragkousis <manolis837@gmail.com>
To: Guix-devel@gnu.org
Subject: gnu : add GNU Mig
Date: Tue, 18 Feb 2014 16:10:23 +0000	[thread overview]
Message-ID: <CAFtzXzOhCjvHGHDBnTQCoWJJyepp2hOuL-OyCr6ZuOAu5eFJZA@mail.gmail.com> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 40 bytes --]

My second patch for adding GNU Mig. :-D

[-- Attachment #1.2: Type: text/html, Size: 84 bytes --]

[-- Attachment #2: 0002_gnu_Add_gnumig.patch --]
[-- Type: text/x-patch, Size: 2117 bytes --]

From b218f112dc2ca41ede992b9478b981eb353b85a0 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <manolis837@gmail.com>
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


             reply	other threads:[~2014-02-18 16:10 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-02-18 16:10 Manolis Ragkousis [this message]
2014-02-18 17:05 ` gnu : add GNU Mig Ludovic Courtès
     [not found]   ` <CAFtzXzMBcEt=nLEkRrkcbwtnnCG5j3S2McNCAg8GfrBAzLfx5A@mail.gmail.com>
2014-02-20 17:05     ` Fwd: " Manolis Ragkousis
2014-02-20 22:20     ` Ludovic Courtès

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAFtzXzOhCjvHGHDBnTQCoWJJyepp2hOuL-OyCr6ZuOAu5eFJZA@mail.gmail.com \
    --to=manolis837@gmail.com \
    --cc=Guix-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).