swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-20 12:29:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

kind2: 0.2.77 -> 0.2.79

Browse source
This commit is contained in:
figsoda 2022-10-18 11:03:46 -04:00
parent fcb6648102
commit ab62aac6bb
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

@ -14350,7 +14350,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 { };