diff options
author | John Wiegley <johnw@newartisans.com> | 2017-07-20 11:50:56 -0400 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-07-20 11:51:25 -0400 |
commit | 31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02 (patch) | |
tree | e81ef450f47d469f91236abf8d9e23be10ec0a6e /pkgs/applications/science | |
parent | 2712554f4f2d3629ea3ab3d8ec437936bb5515e0 (diff) | |
download | nixlib-31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.tar nixlib-31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.tar.gz nixlib-31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.tar.bz2 nixlib-31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.tar.lz nixlib-31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.tar.xz nixlib-31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.tar.zst nixlib-31437ccf7a1ee6cf1b7ead988f3bd38647b1ff02.zip |
coq2html: New expression
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/coq2html/default.nix | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq2html/default.nix b/pkgs/applications/science/logic/coq2html/default.nix new file mode 100644 index 000000000000..9687ac66ead1 --- /dev/null +++ b/pkgs/applications/science/logic/coq2html/default.nix @@ -0,0 +1,38 @@ +{ stdenv, lib, make, fetchgit, ocaml }: + +let + version = "20170720"; +in + +stdenv.mkDerivation { + name = "coq2html-${version}"; + + src = fetchgit { + url = "https://github.com/xavierleroy/coq2html"; + rev = "e2b94093c6b9a877717f181765e30577de22439e"; + sha256 = "1x466j0pyjggyz0870pdllv9f5vpnfrgkd0w7ajvm9rkwyp3f610"; + }; + + buildInputs = [ make ocaml ]; + + installPhase = '' + mkdir -p $out/bin + cp coq2html $out/bin + ''; + + meta = with stdenv.lib; { + description = "coq2html is an HTML documentation generator for Coq source files"; + 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; + license = licenses.gpl2; + maintainers = with maintainers; [ jwiegley ]; + platforms = platforms.unix; + }; +} |