BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

libpoly: 0.1.10 -> 0.1.11

Browse source 
* libpoly: 0.1.10 -> 0.1.11 (#144410)

* libpoly: remove unneeded postPatch

(fixed upstream by now)

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
This commit is contained in:
R. RyanTM 2022-01-02 08:38:00 -08:00 committed by GitHub
parent 3f07ef8a9f
commit 0bf7411211
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
pkgs/applications/science/logic/poly/default.nix
View file

@ -2,23 +2,16 @@
stdenv.mkDerivation rec {
pname = "libpoly";
version = "0.1.10";
version = "0.1.11";
src = fetchFromGitHub {
owner = "SRI-CSL";
repo = "libpoly";
# they've pushed to the release branch, use explicit tag
rev = "refs/tags/v${version}";
sha256 = "sha256-22Y4L5NFnCzKwZt0A/ChMuGPU4Dk1Qyke6mdvfN063w=";
sha256 = "sha256-vrYB6RQYShipZ0c0j1KcSTJR1h0rQKAAeJvODMar1GM=";
};
# https://github.com/SRI-CSL/libpoly/pull/52
postPatch = lib.optionalString stdenv.isDarwin ''
substituteInPlace src/CMakeLists.txt --replace \
'"utils/open_memstream.c ''${poly_SOURCES}"' \
'utils/open_memstream.c ''${poly_SOURCES}'
'';
nativeBuildInputs = [ cmake ];
buildInputs = [ gmp python3 ];