diff options
author | Ludovic Courtès | 2010-05-19 21:27:53 +0000 |
---|---|---|
committer | Ludovic Courtès | 2010-05-19 21:27:53 +0000 |
commit | 5ecaa9ab320e4f229f902735142039635deda3d1 (patch) | |
tree | 115bcca3d1e46bad4b3ba958f96ace306d3a41bb /pkgs/os-specific | |
parent | eeba31dfc9a69fbb0798dcad6293093ccc719de9 (diff) |
GNU MIG: Move to `os-specific/gnu'.
svn path=/nixpkgs/trunk/; revision=21894
Diffstat (limited to 'pkgs/os-specific')
-rw-r--r-- | pkgs/os-specific/gnu/mig/default.nix | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/pkgs/os-specific/gnu/mig/default.nix b/pkgs/os-specific/gnu/mig/default.nix new file mode 100644 index 000000000000..68951e84e2d5 --- /dev/null +++ b/pkgs/os-specific/gnu/mig/default.nix @@ -0,0 +1,44 @@ +{ fetchgit, stdenv, autoconf, automake, flex, bison, machHeaders }: + +let + date = "2010-05-12"; + rev = "master@{${date}}"; +in +stdenv.mkDerivation { + name = "mig-${date}"; + + src = fetchgit { + url = "git://git.sv.gnu.org/hurd/mig.git"; + sha256 = "d6958d9b60925d4600aac133c9505bc873a16b203c69260bd0fb228922ee9273"; + inherit rev; + }; + + buildInputs = [ autoconf automake flex bison machHeaders ]; + + preConfigure = "autoreconf -vfi"; + + configureFlags = [ "--build=i586-pc-gnu" ]; + + doCheck = true; + + meta = { + description = "GNU MIG, the Mach interface generator"; + + longDescription = + '' 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 = "GPLv2+"; + + homepage = http://www.gnu.org/software/hurd/microkernel/mach/mig/gnu_mig.html; + + # platforms = stdenv.lib.platforms.gnu; # really GNU/Hurd + maintainers = [ stdenv.lib.maintainers.ludo ]; + }; +} |