1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-24 19:08:30 +00:00
nixpkgs/pkgs/development/libraries/cil-aterm/cil-aterm-1.3.3.nix
Mart Kolthof 1a496e77c8 changed cil from version 1.3.3 to 1.3.4
svn path=/nixpkgs/trunk/; revision=4552
2006-01-16 10:09:55 +00:00

13 lines
346 B
Nix

{ stdenv, fetchurl, ocaml, perl }:
stdenv.mkDerivation {
name = "cil-aterm-1.3.3";
src = fetchurl {
url = http://manju.cs.berkeley.edu/cil/distrib/cil-1.3.3.tar.gz;
md5 = "dafd350c154990728efb35a7073ca81a";
};
patches = [./atermprinter.patch];
buildInputs = [ ocaml perl ];
inherit ocaml perl;
}