nixpkgs/pkgs/applications/science/logic/coq2html/default.nix

40 lines
1.1 KiB
Nix
Raw Normal View History

{ lib, stdenv, fetchgit, ocaml }:
2017-08-01 16:30:07 +00:00
let
2017-08-01 16:30:07 +00:00
version = "20170720";
in
stdenv.mkDerivation {
2019-08-13 21:52:01 +00:00
pname = "coq2html";
inherit version;
2017-08-01 16:30:07 +00:00
src = fetchgit {
url = "https://github.com/xavierleroy/coq2html";
rev = "e2b94093c6b9a877717f181765e30577de22439e";
sha256 = "1x466j0pyjggyz0870pdllv9f5vpnfrgkd0w7ajvm9rkwyp3f610";
};
2018-03-22 15:56:22 +00:00
buildInputs = [ ocaml ];
2017-08-01 16:30:07 +00:00
installPhase = ''
mkdir -p $out/bin
cp coq2html $out/bin
'';
meta = with lib; {
description = "HTML documentation generator for Coq source files";
2017-08-01 16:30:07 +00:00
longDescription = ''
coq2html is an HTML documentation generator for Coq source files. It is
an alternative to the standard coqdoc documentation generator
distributed along with Coq. The major feature of coq2html is its ability
to fold proof scripts: in the generated HTML, proof scripts are
initially hidden, but can be revealed one by one by clicking on the
"Proof" keyword.
'';
homepage = "https://github.com/xavierleroy/coq2html";
2017-08-01 16:30:07 +00:00
license = licenses.gpl2;
maintainers = with maintainers; [ jwiegley ];
platforms = platforms.unix;
};
}