diff options
author | figsoda <figsoda@pm.me> | 2023-01-27 12:48:57 -0500 |
---|---|---|
committer | figsoda <figsoda@pm.me> | 2023-01-27 13:53:47 -0500 |
commit | d9b650d0ed647bb5f86e917328210f9ccac4ee13 (patch) | |
tree | 321918ce89b7c38b76516f814796233f1a3848a2 /pkgs/development/compilers | |
parent | ace2a9abd6653bb4566a345fb14ec3b7c679283a (diff) | |
download | nixlib-d9b650d0ed647bb5f86e917328210f9ccac4ee13.tar nixlib-d9b650d0ed647bb5f86e917328210f9ccac4ee13.tar.gz nixlib-d9b650d0ed647bb5f86e917328210f9ccac4ee13.tar.bz2 nixlib-d9b650d0ed647bb5f86e917328210f9ccac4ee13.tar.lz nixlib-d9b650d0ed647bb5f86e917328210f9ccac4ee13.tar.xz nixlib-d9b650d0ed647bb5f86e917328210f9ccac4ee13.tar.zst nixlib-d9b650d0ed647bb5f86e917328210f9ccac4ee13.zip |
kind2: 0.2.79 -> 0.3.7
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/kind2/default.nix | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/pkgs/development/compilers/kind2/default.nix b/pkgs/development/compilers/kind2/default.nix index 7e84d78e0d8e..f3ed8a45b88a 100644 --- a/pkgs/development/compilers/kind2/default.nix +++ b/pkgs/development/compilers/kind2/default.nix @@ -1,36 +1,33 @@ { lib , rustPlatform , fetchCrate -, pkg-config -, openssl , stdenv -, Security +, darwin }: rustPlatform.buildRustPackage rec { pname = "kind2"; - version = "0.2.79"; + version = "0.3.7"; src = fetchCrate { inherit pname version; - sha256 = "sha256-QRPk7BpGVvhGHcDxCWJtJp5d3QOq72ESt5VbaSq5jBU="; + sha256 = "sha256-ZG0BbGcjQBqeNTqfy7WweVHK7sUuKeQSsFi9KIsyIE4="; }; - cargoSha256 = "sha256-i7RAJmhUQzjMe9w7z7hPrpiap64L12Shu4DL+e5A6oc="; + cargoSha256 = "sha256-j64L3HNk2r+MH9eDHWT/ARJ9DT4CchcuVxtIYYVsDxo="; - nativeBuildInputs = [ pkg-config ]; - - buildInputs = [ openssl ] ++ lib.optional stdenv.isDarwin Security; - - # these tests are flaky - checkFlags = [ - "--skip=test_checker" - "--skip=test_run_hvm" + buildInputs = lib.optionals stdenv.isDarwin [ + darwin.apple_sdk_11_0.frameworks.Security + ] ++ lib.optionals (stdenv.isDarwin && stdenv.isx86_64) [ + darwin.apple_sdk_11_0.frameworks.CoreFoundation ]; + # requires nightly features + RUSTC_BOOTSTRAP = true; + meta = with lib; { description = "A functional programming language and proof assistant"; - homepage = "https://github.com/kindelia/kind2"; + homepage = "https://github.com/kindelia/kind"; license = licenses.mit; maintainers = with maintainers; [ figsoda ]; }; |