nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 06:53:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.coq-hammer: init at 1.3.2

Browse Source 
(cherry picked from commit d7af75988b)
This commit is contained in:
Vincent Laporte 2024-06-26 06:32:52 +02:00 committed by Vincent Laporte
parent bef51dc92b
commit 24c21fac40
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/development/coq-modules/coq-hammer/default.nix Normal file
View File

@ -0,0 +1,19 @@
{ lib, mkCoqDerivation, coq, coq-hammer-tactics, version ? null }:
mkCoqDerivation {
inherit version;
pname = "coq-hammer";
inherit (coq-hammer-tactics) owner repo defaultVersion release releaseRev;
buildFlags = [ "plugin" ];
installTargets = [ "install-plugin" ];
extraInstallFlags = [ "BINDIR=$(out)/bin/" ];
mlPlugin = true;
propagatedBuildInputs = [ coq.ocamlPackages.findlib coq-hammer-tactics ];
meta = coq-hammer-tactics.meta // {
description = "General-purpose automated reasoning hammer tool for Coq";
};
}

1
pkgs/top-level/coq-packages.nix
View File

@ -38,6 +38,7 @@ let
coq-bits = callPackage ../development/coq-modules/coq-bits {};
coq-elpi = callPackage ../development/coq-modules/coq-elpi {};
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
coq-hammer = callPackage ../development/coq-modules/coq-hammer { };
coq-hammer-tactics = callPackage ../development/coq-modules/coq-hammer/tactics.nix { };
coq-haskell = callPackage ../development/coq-modules/coq-haskell { };
coq-lsp = callPackage ../development/coq-modules/coq-lsp {};