diff options
author | John Wiegley <johnw@newartisans.com> | 2017-08-01 09:30:07 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-08-01 09:30:20 -0700 |
commit | ea8798acc6475812e97631855bd98ce80618f5a6 (patch) | |
tree | 67581d837528645f39507635efe50253c7034dde /pkgs/applications/science | |
parent | 92031d6e01bd494a6e92d7dee08e7633256657c4 (diff) | |
download | nixlib-ea8798acc6475812e97631855bd98ce80618f5a6.tar nixlib-ea8798acc6475812e97631855bd98ce80618f5a6.tar.gz nixlib-ea8798acc6475812e97631855bd98ce80618f5a6.tar.bz2 nixlib-ea8798acc6475812e97631855bd98ce80618f5a6.tar.lz nixlib-ea8798acc6475812e97631855bd98ce80618f5a6.tar.xz nixlib-ea8798acc6475812e97631855bd98ce80618f5a6.tar.zst nixlib-ea8798acc6475812e97631855bd98ce80618f5a6.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; + }; +} |