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

boolector: 3.2.1 -> 3.2.2

Browse source
This commit is contained in:
Guillaume Girol 2021-07-19 12:00:00 +00:00 committed by Jonathan Ringer
parent 0066d898c9
commit 6554384a70
1 changed files with 4 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
pkgs/applications/science/logic/boolector/default.nix
View file

@ -1,26 +1,18 @@
{ stdenv, fetchFromGitHub, fetchpatch, lib, python3 { stdenv, fetchFromGitHub, lib, python3
, cmake, lingeling, btor2tools, gtest, gmp , cmake, lingeling, btor2tools, gtest, gmp
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "boolector"; pname = "boolector";
version = "3.2.1"; version = "3.2.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "boolector"; owner = "boolector";
repo = "boolector"; repo = "boolector";
rev = "refs/tags/${version}"; rev = version;
sha256 = "0jkmaw678njqgkflzj9g374yk1mci8yqvsxkrqzlifn6bwhwb7ci"; sha256 = "1smcy6yp8wvnw2brgnv5bf40v87k4v4fbdbrhi7987vja632k50z";
}; };
# excludes development artifacts from install, will be included in next release
patches = [
(fetchpatch {
url = "https://github.com/Boolector/boolector/commit/4d240436e34e65096671099766344dd9126145b1.patch";
sha256 = "1girsbvlhkkl1hldl2gsjynwc3m92jskn798qhx0ydg6whrfgcgw";
})
];
postPatch = '' postPatch = ''
sed s@REPLACEME@file://${gtest.src}@ ${./cmake-gtest.patch} | patch -p1 sed s@REPLACEME@file://${gtest.src}@ ${./cmake-gtest.patch} | patch -p1
''; '';