1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-10 14:47:34 +00:00
nixpkgs/pkgs/development/libraries/cil-aterm/default.nix
Eelco Dolstra 607b0d3e80 * Rewrite all the SourceForge URLs to mirror://sourceforge/.
find . -name "*.nix" | while read fn; do sed 's^http://[a-z]*.dl.sourceforge.net/sourceforge/^mirror://sourceforge/^g' < $fn > $fn.new; mv $fn.new $fn; done

svn path=/nixpkgs/trunk/; revision=9198
2007-08-27 13:01:33 +00:00

13 lines
333 B
Nix

{ 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;
}