pyrox.dev
Merge pull request #231503 from figsoda/kind2
kind2: 0.3.7 -> 0.3.10
authored by Martin Weinelt and committed by GitHub 7818e35c 2ee9aa3a
+32
-6
pkgs/development/compilers/kind2/default.nix
+32
-6
pkgs/development/compilers/kind2/default.nix
···
3
3
, fetchCrate
4
4
, stdenv
5
5
, darwin
6
+
, fetchpatch
6
7
}:
7
8
8
9
rustPlatform.buildRustPackage rec {
9
10
pname = "kind2";
10
-
version = "0.3.7";
11
+
version = "0.3.10";
11
12
12
13
src = fetchCrate {
13
14
inherit pname version;
14
-
sha256 = "sha256-ZG0BbGcjQBqeNTqfy7WweVHK7sUuKeQSsFi9KIsyIE4=";
15
+
hash = "sha256-X2sjfYrSSym289jDJV3hNmcwyQCMnrabmGCUKD5wfdY=";
15
16
};
16
17
17
-
cargoSha256 = "sha256-j64L3HNk2r+MH9eDHWT/ARJ9DT4CchcuVxtIYYVsDxo=";
18
+
cargoHash = "sha256-KzoEh/kMKsHx9K3t1/uQZ7fdsZEM+v8UOft8JjEB1Zw=";
18
19
19
20
buildInputs = lib.optionals stdenv.isDarwin [
20
21
darwin.apple_sdk_11_0.frameworks.Security
21
-
] ++ lib.optionals (stdenv.isDarwin && stdenv.isx86_64) [
22
-
darwin.apple_sdk_11_0.frameworks.CoreFoundation
23
22
];
24
23
24
+
postPatch =
25
+
let
26
+
hvmPatch = fetchpatch {
27
+
name = "revert-fix-remove-feature-automic-mut-ptr.patch";
28
+
url = "https://github.com/higherorderco/hvm/commit/c0e35c79b4e31c266ad33beadc397c428e4090ee.patch";
29
+
hash = "sha256-9xxu7NOtz3Tuzf5F0Mi4rw45Xnyh7h9hbTrzq4yfslg=";
30
+
revert = true;
31
+
};
32
+
in
33
+
''
34
+
pushd $cargoDepsCopy/hvm
35
+
36
+
oldLibHash=$(sha256sum src/lib.rs | cut -d " " -f 1)
37
+
oldMainHash=$(sha256sum src/main.rs | cut -d " " -f 1)
38
+
39
+
patch -p1 < ${hvmPatch}
40
+
41
+
newLibHash=$(sha256sum src/lib.rs | cut -d " " -f 1)
42
+
newMainHash=$(sha256sum src/main.rs | cut -d " " -f 1)
43
+
44
+
substituteInPlace .cargo-checksum.json \
45
+
--replace "$oldLibHash" "$newLibHash" \
46
+
--replace "$oldMainHash" "$newMainHash"
47
+
48
+
popd
49
+
'';
50
+
25
51
# requires nightly features
26
52
RUSTC_BOOTSTRAP = true;
27
53
28
54
meta = with lib; {
29
55
description = "A functional programming language and proof assistant";
30
-
homepage = "https://github.com/kindelia/kind";
56
+
homepage = "https://github.com/higherorderco/kind";
31
57
license = licenses.mit;
32
58
maintainers = with maintainers; [ figsoda ];
33
59
};