blob: 9df14593019e908b3c1d6d5d1a53fa3008b40cf6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
{ 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;
}
|