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

Merge pull request #196607 from figsoda/update-kind2

Browse source 
kind2: 0.2.77 -> 0.2.79
This commit is contained in:
figsoda 2022-10-19 10:20:23 -04:00 committed by GitHub
commit 6e387c179c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 24 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
pkgs/development/compilers/kind2/default.nix
View file

@ -1,15 +1,32 @@
{ lib, rustPlatform, fetchCrate }:
{ lib
, rustPlatform
, fetchCrate
, pkg-config
, openssl
, stdenv
, Security
}:
rustPlatform.buildRustPackage rec {
pname = "kind2";
version = "0.2.77";
version = "0.2.79";
src = fetchCrate {
inherit pname version;
sha256 = "sha256-drWAWiSALq8rb3J2phNE/dt4e6xmJY7Ob8cES1kYEPo=";
sha256 = "sha256-QRPk7BpGVvhGHcDxCWJtJp5d3QOq72ESt5VbaSq5jBU=";
};
cargoSha256 = "sha256-rF0TvNWE90sUqslBGPnGmD6mZFPlCCkM1jyuFt8n8Nw=";
cargoSha256 = "sha256-i7RAJmhUQzjMe9w7z7hPrpiap64L12Shu4DL+e5A6oc=";
nativeBuildInputs = [ pkg-config ];
buildInputs = [ openssl ] ++ lib.optional stdenv.isDarwin Security;
# these tests are flaky
checkFlags = [
"--skip=test_checker"
"--skip=test_run_hvm"
];
meta = with lib; {
description = "A functional programming language and proof assistant";

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

@ -14349,7 +14349,9 @@ with pkgs;
jwasm = callPackage ../development/compilers/jwasm { };
kind2 = callPackage ../development/compilers/kind2 { };
kind2 = callPackage ../development/compilers/kind2 {
inherit (darwin.apple_sdk.frameworks) Security;
};
knightos-genkfs = callPackage ../development/tools/knightos/genkfs { };