2007-01-23 16:03:11 +00:00
|
|
|
{ stdenv, fetchurl, ocaml, perl }:
|
2006-01-02 14:24:36 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2006-01-16 10:09:55 +00:00
|
|
|
name = "cil-aterm-1.3.4";
|
2006-01-02 14:24:36 +00:00
|
|
|
src = fetchurl {
|
2007-01-23 13:29:11 +00:00
|
|
|
url = http://surfnet.dl.sourceforge.net/sourceforge/cil/cil-1.3.4.tar.gz;
|
2006-01-16 10:09:55 +00:00
|
|
|
md5 = "a7fa54f19844a20562efd37f67c391da";
|
2006-01-02 14:24:36 +00:00
|
|
|
};
|
2006-01-16 10:09:55 +00:00
|
|
|
patches = [./cil-aterm-1.3.4.patch];
|
2006-08-24 14:19:59 +00:00
|
|
|
buildInputs = [ ocaml perl ];
|
|
|
|
inherit ocaml perl;
|
2006-01-02 14:24:36 +00:00
|
|
|
}
|