From f0ee6546db8f6b517187a6f2a21d54b9d9ab71f3 Mon Sep 17 00:00:00 2001
From: Rob Vermaas <rob.vermaas@gmail.com>
Date: Mon, 9 May 2005 15:56:34 +0000
Subject: [PATCH] * CIL 1.3.2

svn path=/nixpkgs/trunk/; revision=3016
---
 pkgs/development/libraries/cil/default.nix | 8 ++++++++
 pkgs/system/all-packages-generic.nix       | 4 ++++
 2 files changed, 12 insertions(+)
 create mode 100644 pkgs/development/libraries/cil/default.nix

diff --git a/pkgs/development/libraries/cil/default.nix b/pkgs/development/libraries/cil/default.nix
new file mode 100644
index 000000000000..ecbb0c19412b
--- /dev/null
+++ b/pkgs/development/libraries/cil/default.nix
@@ -0,0 +1,8 @@
+{stdenv, fetchurl, ocaml, perl}: stdenv.mkDerivation {
+  name = "cil-1.3.2";
+  src = fetchurl {
+    url = http://manju.cs.berkeley.edu/cil/distrib/cil-1.3.2.tar.gz;
+    md5 = "aba80dd700fcb1411598670cc36a9573";
+  };
+  buildInputs = [ocaml perl];
+}
diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix
index b4cc6a29185d..ae25f98b38f8 100644
--- a/pkgs/system/all-packages-generic.nix
+++ b/pkgs/system/all-packages-generic.nix
@@ -543,6 +543,10 @@ rec {
     j2sdk = blackdown;
   };
 
+  cil = (import ../development/libraries/cil) {
+    inherit stdenv fetchurl ocaml perl;
+  };
+
   pcre = (import ../development/libraries/pcre) {
     inherit fetchurl stdenv;
   };