9bb3fccb5b
continuation of #109595 pkgconfig was aliased in 2018, however, it remained in all-packages.nix due to its wide usage. This cleans up the remaining references to pkgs.pkgsconfig and moves the entry to aliases.nix. python3Packages.pkgconfig remained unchanged because it's the canonical name of the upstream package on pypi.
44 lines
1.7 KiB
Nix
44 lines
1.7 KiB
Nix
{ lib, stdenv, fetchurl, pkg-config, ncurses, ocamlPackages }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "prooftree";
|
|
version = "0.13";
|
|
|
|
src = fetchurl {
|
|
url = "https://askra.de/software/prooftree/releases/prooftree-${version}.tar.gz";
|
|
sha256 = "0z1z4wqbqwgppkh2bm89fgy07a0y2m6g4lvcyzs09sm1ysklk2dh";
|
|
};
|
|
|
|
nativeBuildInputs = [ pkg-config ];
|
|
buildInputs = [ ncurses ] ++ (with ocamlPackages; [
|
|
ocaml findlib camlp5 lablgtk ]);
|
|
|
|
dontAddPrefix = true;
|
|
configureFlags = [ "--prefix" "$(out)" ];
|
|
|
|
meta = with lib; {
|
|
description = "A program for proof-tree visualization";
|
|
longDescription = ''
|
|
Prooftree is a program for proof-tree visualization during interactive
|
|
proof development in a theorem prover. It is currently being developed
|
|
for Coq and Proof General. Prooftree helps against getting lost between
|
|
different subgoals in interactive proof development. It clearly shows
|
|
where the current subgoal comes from and thus helps in developing the
|
|
right plan for solving it.
|
|
|
|
Prooftree uses different colors for the already proven subgoals, the
|
|
current branch in the proof and the still open subgoals. Sequent texts
|
|
are not displayed in the proof tree itself, but they are shown as a
|
|
tool-tip when the mouse rests over a sequent symbol. Long proof commands
|
|
are abbreviated in the tree display, but show up in full length as
|
|
tool-tip. Both, sequents and proof commands, can be shown in the display
|
|
below the tree (on single click) or in a separate window (on double or
|
|
shift-click).
|
|
'';
|
|
homepage = "http://askra.de/software/prooftree";
|
|
platforms = platforms.unix;
|
|
maintainers = [ maintainers.jwiegley ];
|
|
license = licenses.gpl3;
|
|
};
|
|
}
|