nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 08:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

cadical: enable version 2.0.0 and use it in cvc5

Browse Source
This commit is contained in:
Vincent Laporte 2024-10-22 06:32:02 +02:00 committed by Vincent Laporte
parent d69a4b7bef
commit 9d28bd753f
2 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/applications/science/logic/cadical/default.nix
View File

@ -1,14 +1,19 @@
{ lib, stdenv, fetchFromGitHub, copyPkgconfigItems, makePkgconfigItem }:
{ lib, stdenv, fetchFromGitHub, copyPkgconfigItems, makePkgconfigItem
, version ? "2.1.0"
}:
stdenv.mkDerivation rec {
pname = "cadical";
version = "2.1.0";
inherit version;
src = fetchFromGitHub {
owner = "arminbiere";
repo = "cadical";
rev = "rel-${version}";
sha256 = "sha256-sSvJgHxsRaJ/xHEK32fox0MFI7u+pj5ERLfNn2s8kC8=";
hash = {
"2.1.0" = "sha256-sSvJgHxsRaJ/xHEK32fox0MFI7u+pj5ERLfNn2s8kC8=";
"2.0.0" = "sha256-qoeEM9SdpuFuBPeQlCzuhPLcJ+bMQkTUTGiT8QdU8rc=";
}.${version};
};
outputs = [ "out" "dev" "lib" ];

4
pkgs/top-level/all-packages.nix
View File

@ -36243,7 +36243,9 @@ with pkgs;
};
cvc4 = callPackage ../applications/science/logic/cvc4 { };
cvc5 = callPackage ../applications/science/logic/cvc5 { };
cvc5 = callPackage ../applications/science/logic/cvc5 {
cadical = pkgs.cadical.override { version = "2.0.0"; };
};
drat-trim = callPackage ../applications/science/logic/drat-trim { };