public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cryptominisat: 5.7.1 -> 5.8.0 (#92681)

Browse Source 
Co-authored-by: Jörg Thalheim <joerg@thalheim.io>
This commit is contained in:
Jörg Thalheim 2020-07-09 08:24:55 +01:00 committed by GitHub
commit 141f9ce807
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/applications/science/logic/cryptominisat/default.nix
View File

@ -1,16 +1,24 @@
{ stdenv, fetchFromGitHub, cmake, python3, xxd, boost }: { stdenv, fetchFromGitHub, cmake, python3, xxd, boost, fetchpatch }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "cryptominisat"; pname = "cryptominisat";
version = "5.7.1"; version = "5.8.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "msoos"; owner = "msoos";
repo = "cryptominisat"; repo = "cryptominisat";
rev = version; rev = version;
sha256 = "16lydnbd4rxfyabvvw7l4hbbby3yprcqqzrydd3n8rjbxibi4xyf"; sha256 = "00hmxdlyhn7pwk9jlvc5g0l5z5xqfchjzf5jgn3pkj9xhl8yqq50";
}; };
patches = [
(fetchpatch {
# https://github.com/msoos/cryptominisat/pull/621
url = "https://github.com/msoos/cryptominisat/commit/11a97003b0bfbfb61ed6c4e640212110d390c28c.patch";
sha256 = "0hdy345bwcbxz0jl1jdxfa6mmfh77s2pz9rnncsr0jzk11b3j0cw";
})
];
buildInputs = [ python3 boost ]; buildInputs = [ python3 boost ];
nativeBuildInputs = [ cmake xxd ]; nativeBuildInputs = [ cmake xxd ];