From 3bd08ffe8af6dec0f3c118bb59643a7229060809 Mon Sep 17 00:00:00 2001
From: Rob Vermaas <rob.vermaas@gmail.com>
Date: Fri, 5 Jun 2009 14:36:35 +0000
Subject: [PATCH]  * added mcrl, mcrl2 and openmpi to all-packages.nix

svn path=/nixpkgs/trunk/; revision=15874
---
 pkgs/top-level/all-packages.nix | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 4c2a7b9a6245..b52d62986693 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -432,6 +432,16 @@ let
     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 {
     inherit fetchurl stdenv eventlog pkgconfig;
     inherit (gtkLibs) glib;
@@ -1181,6 +1191,10 @@ let
     inherit (gtkLibs) pango gtk glib;
   };
 
+  openmpi = import ../development/libraries/openmpi {
+    inherit fetchurl stdenv;
+  };
+
   qhull = import ../development/libraries/qhull {
     inherit stdenv fetchurl;
   };