cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

coqPackages.smtcoq: itp22 -> 2021-09-17

Browse source
This commit is contained in:
Ben Siraphob 2022-06-03 10:51:09 -07:00
parent d6f311f306
commit 91dde6efd2
No known key found for this signature in database
GPG key ID: 45F0E5D788143267
1 changed files with 16 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
pkgs/development/coq-modules/smtcoq/default.nix
View file

@ -1,21 +1,30 @@
{ lib, stdenv, mkCoqDerivation, coq, trakt, cvc4, veriT, version ? null }:
{ lib, stdenv, mkCoqDerivation, coq, trakt, cvc4, veriT, zchaff, fetchurl, version ? null }:
with lib;
let
# version of veriT that works with SMTCoq
veriT' = veriT.overrideAttrs (oA: {
src = fetchurl {
url = "https://www.lri.fr/~keller/Documents-recherche/Smtcoq/veriT9f48a98.tar.gz";
sha256 = "sha256-Pe46PxQVHWwWwx5Ei4Bl95A0otCiXZuUZ2nXuZPYnhY=";
};
meta.broken = false;
});
in
mkCoqDerivation {
pname = "smtcoq";
owner = "smtcoq";
release."itp22".rev = "1d60d37558d85a4bfd794220ec48849982bdc979";
release."itp22".sha256 = "sha256-CdPfgDfeJy8Q6ZlQeVCSR/x8ZlJ2kSEF6F5UnAespnQ=";
release."2021-09-17".rev = "f36bf11e994cc269c2ec92b061b082e3516f472f";
release."2021-09-17".sha256 = "sha256-bF7ES+tXraaAJwVEwAMx3CUESpNlAUerQjr4d2eaGJQ=";
inherit version;
defaultVersion = with versions; switch coq.version [
{ case = isEq "8.13"; out = "itp22"; }
{ case = isEq "8.13"; out = "2021-09-17"; }
] null;
propagatedBuildInputs = [ trakt cvc4 ]
++ lib.optionals (!stdenv.isDarwin) [ veriT ]
++ (with coq.ocamlPackages; [ num zarith ]);
propagatedBuildInputs = [ trakt cvc4 veriT' zchaff ] ++ (with coq.ocamlPackages; [ num zarith ]);
mlPlugin = true;
nativeBuildInputs = with coq.ocamlPackages; [ ocamlbuild ];