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

Merge pull request #292698 from wkral/scryer-0.9.4

Browse source 
scryer-prolog: 0.9.3 -> 0.9.4
This commit is contained in:
Nick Cao 2024-03-02 10:54:50 -05:00 committed by GitHub
commit 6579a72201
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
pkgs/development/compilers/scryer-prolog/default.nix
View file

@ -1,7 +1,6 @@
{ lib
, rustPlatform
, fetchFromGitHub
, fetchpatch
, pkg-config
, openssl
, gmp
@ -12,29 +11,16 @@
rustPlatform.buildRustPackage rec {
pname = "scryer-prolog";
version = "0.9.3";
version = "0.9.4";
src = fetchFromGitHub {
owner = "mthom";
repo = "scryer-prolog";
rev = "v${version}";
hash = "sha256-0J69Zl+ONvR6T+xf2YeShwn3/JWOHyFHLpNFwmEaIOI=";
hash = "sha256-0c0MsjrHRitg+5VEHB9/iSuiqcPztF+2inDZa9fQpwU=";
};
patches = [
(fetchpatch {
name = "cargo-lock-version-bump.patch";
url = "https://github.com/mthom/scryer-prolog/commit/d6fe5b5aaddb9886a8a34841a65cb28c317c2913.patch";
hash = "sha256-xkGsjVV/FcyZXGkI84FlqcRIuDM7isCCWZ1sbKql7es=";
})
];
cargoLock = {
lockFile = ./Cargo.lock;
outputHashes = {
"modular-bitfield-0.11.2" = "sha256-vcx+xt5owZVWOlKwudAr0EB1zlLLL5pVfWokw034BQI=";
};
};
cargoSha256 = "sha256-q8s6HAJhKnMhsgZk5plR+ar3CpLKNqjrD14roDWLwfo=";
nativeBuildInputs = [ pkg-config ];
buildInputs = [ openssl gmp libmpc mpfr ];