forked from mirrors/nixpkgs
4bfa933f40
svn path=/nixpkgs/trunk/; revision=6221
13 lines
357 B
Nix
13 lines
357 B
Nix
{ stdenv, fetchurl, ocaml3080, perl }:
|
|
|
|
stdenv.mkDerivation {
|
|
name = "cil-aterm-1.3.4";
|
|
src = fetchurl {
|
|
url = http://manju.cs.berkeley.edu/cil/distrib/cil-1.3.4.tar.gz;
|
|
md5 = "a7fa54f19844a20562efd37f67c391da";
|
|
};
|
|
patches = [./cil-aterm-1.3.4.patch];
|
|
buildInputs = [ ocaml3080 perl ];
|
|
inherit ocaml perl;
|
|
}
|