blob: e51bb3c2d4efb164f231ec06dd2d847fe73f0444 (
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.6";
src = fetchurl {
url = mirror://sourceforge/cil/cil-1.3.6.tar.gz;
md5 = "112dfbabdd0e1280800d62ba4449ab45";
};
patches = [./cil-aterm-1.3.6.patch];
buildInputs = [ ocaml perl ];
inherit ocaml perl;
}
|