tjh.dev
1{ lib
2, rustPlatform
3, fetchCrate
4, stdenv
5, darwin
6}:
7
8rustPlatform.buildRustPackage rec {
9 pname = "kind2";
10 version = "0.3.10";
11
12 src = fetchCrate {
13 inherit pname version;
14 hash = "sha256-X2sjfYrSSym289jDJV3hNmcwyQCMnrabmGCUKD5wfdY=";
15 };
16
17 cargoHash = "sha256-KzoEh/kMKsHx9K3t1/uQZ7fdsZEM+v8UOft8JjEB1Zw=";
18
19 buildInputs = lib.optionals stdenv.isDarwin [
20 darwin.apple_sdk_11_0.frameworks.Security
21 ];
22
23 # requires nightly features
24 RUSTC_BOOTSTRAP = true;
25
26 meta = with lib; {
27 description = "Functional programming language and proof assistant";
28 mainProgram = "kind2";
29 homepage = "https://github.com/higherorderco/kind";
30 license = licenses.mit;
31 maintainers = with maintainers; [ figsoda ];
32 };
33}