nixpkgs/pkgs/applications/science/logic/coq2html/default.nix
Profpatsch 4a7f99d55d treewide: with stdenv.lib; in meta -> with lib;
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2021-01-11 10:38:22 +01:00

40 lines
1.1 KiB
Nix

{ lib, stdenv, fetchgit, ocaml }:
let
version = "20170720";
in
stdenv.mkDerivation {
pname = "coq2html";
inherit version;
src = fetchgit {
url = "https://github.com/xavierleroy/coq2html";
rev = "e2b94093c6b9a877717f181765e30577de22439e";
sha256 = "1x466j0pyjggyz0870pdllv9f5vpnfrgkd0w7ajvm9rkwyp3f610";
};
buildInputs = [ ocaml ];
installPhase = ''
mkdir -p $out/bin
cp coq2html $out/bin
'';
meta = with lib; {
description = "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;
};
}