public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

* added mcrl, mcrl2 and openmpi to all-packages.nix

Browse Source 
svn path=/nixpkgs/trunk/; revision=15874
This commit is contained in:
Rob Vermaas 2009-06-05 14:36:35 +00:00
parent 57cf606d47
commit 3bd08ffe8a
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/top-level/all-packages.nix
View File

@ -432,6 +432,16 @@ let
inherit fetchurl stdenv perl; inherit fetchurl stdenv perl;
}; };
mcrl = import ../tools/misc/mcrl {
inherit fetchurl stdenv coreutils;
};
mcrl2 = import ../tools/misc/mcrl2 {
inherit fetchurl stdenv mesa ;
inherit (xorg) libX11;
wxGTK = wxGTK28 ;
};
syslogng = import ../tools/misc/syslog-ng { syslogng = import ../tools/misc/syslog-ng {
inherit fetchurl stdenv eventlog pkgconfig; inherit fetchurl stdenv eventlog pkgconfig;
inherit (gtkLibs) glib; inherit (gtkLibs) glib;
@ -1181,6 +1191,10 @@ let
inherit (gtkLibs) pango gtk glib; inherit (gtkLibs) pango gtk glib;
}; };
openmpi = import ../development/libraries/openmpi {
inherit fetchurl stdenv;
};
qhull = import ../development/libraries/qhull { qhull = import ../development/libraries/qhull {
inherit stdenv fetchurl; inherit stdenv fetchurl;
}; };