tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 mkCoqDerivation,
3 coq,
4 coq-hammer-tactics,
5 version ? null,
6}:
7
8mkCoqDerivation {
9 inherit version;
10 pname = "coq-hammer";
11 inherit (coq-hammer-tactics)
12 owner
13 repo
14 defaultVersion
15 release
16 releaseRev
17 ;
18
19 buildFlags = [ "plugin" ];
20 installTargets = [ "install-plugin" ];
21 extraInstallFlags = [ "BINDIR=$(out)/bin/" ];
22
23 mlPlugin = true;
24
25 propagatedBuildInputs = [
26 coq.ocamlPackages.findlib
27 coq-hammer-tactics
28 ];
29
30 meta = coq-hammer-tactics.meta // {
31 description = "General-purpose automated reasoning hammer tool for Coq";
32 };
33}