nixpkgs/pkgs/development/compilers/compcert/default.nix

27 lines
821 B
Nix
Raw Normal View History

{ stdenv, fetchurl, coq, ocaml, ocamlPackages, gcc }:
stdenv.mkDerivation rec {
name = "compcert-${version}";
2014-10-05 22:07:34 +00:00
version = "2.4";
src = fetchurl {
url = "http://compcert.inria.fr/release/${name}.tgz";
2014-10-05 22:07:34 +00:00
sha256 = "1qrb1cplx3v5wxn1c46kx67v1j52yznvjm2hkrsdybphhki2pyia";
};
buildInputs = [ coq ocaml ocamlPackages.menhir ];
enableParallelBuilding = true;
configurePhase = "./configure -prefix $out -toolprefix ${gcc}/bin/ " +
(if stdenv.isDarwin then "ia32-macosx" else "ia32-linux");
2014-10-05 22:07:34 +00:00
meta = with stdenv.lib; {
description = "Formally verified C compiler";
homepage = "http://compcert.inria.fr";
2014-10-05 22:07:34 +00:00
license = licenses.inria;
platforms = platforms.linux ++
platforms.darwin;
maintainers = with maintainers; [ thoughtpolice jwiegley vbgl ];
};
}