3
0
Fork 0
forked from mirrors/nixpkgs

* CIL 1.3.2

svn path=/nixpkgs/trunk/; revision=3016
This commit is contained in:
Rob Vermaas 2005-05-09 15:56:34 +00:00
parent c845640a64
commit f0ee6546db
2 changed files with 12 additions and 0 deletions

View file

@ -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];
}

View file

@ -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;
};