pyrox.dev
lol
1{ lib
2, rustPlatform
3, fetchCrate
4, pkg-config
5, openssl
6, stdenv
7, Security
8}:
9
10rustPlatform.buildRustPackage rec {
11 pname = "kind2";
12 version = "0.2.79";
13
14 src = fetchCrate {
15 inherit pname version;
16 sha256 = "sha256-QRPk7BpGVvhGHcDxCWJtJp5d3QOq72ESt5VbaSq5jBU=";
17 };
18
19 cargoSha256 = "sha256-i7RAJmhUQzjMe9w7z7hPrpiap64L12Shu4DL+e5A6oc=";
20
21 nativeBuildInputs = [ pkg-config ];
22
23 buildInputs = [ openssl ] ++ lib.optional stdenv.isDarwin Security;
24
25 # these tests are flaky
26 checkFlags = [
27 "--skip=test_checker"
28 "--skip=test_run_hvm"
29 ];
30
31 meta = with lib; {
32 description = "A functional programming language and proof assistant";
33 homepage = "https://github.com/kindelia/kind2";
34 license = licenses.mit;
35 maintainers = with maintainers; [ figsoda ];
36 };
37}