tjh.dev
fstar: force autotools build for z3
+8
-6
pkgs/by-name/fs/fstar/z3/default.nix
+8
-6
pkgs/by-name/fs/fstar/z3/default.nix
···
8
}:
9
10
let
11
# fstar has a pretty hard dependency on certain z3 patch versions.
12
# https://github.com/FStarLang/FStar/issues/3689#issuecomment-2625073641
13
# We need to package all the Z3 versions it prefers here.
14
fstarNewZ3Version = "4.13.3";
15
fstarNewZ3 =
16
-
if z3.version == fstarNewZ3Version then
17
-
z3
18
else
19
-
z3.overrideAttrs (final: rec {
20
version = fstarNewZ3Version;
21
src = fetchFromGitHub {
22
owner = "Z3Prover";
···
28
29
fstarOldZ3Version = "4.8.5";
30
fstarOldZ3 =
31
-
if z3.version == fstarOldZ3Version then
32
-
z3
33
else
34
-
z3.overrideAttrs (prev: rec {
35
version = fstarOldZ3Version;
36
src = fetchFromGitHub {
37
owner = "Z3Prover";
···
8
}:
9
10
let
11
+
z3' = z3.override { useCmakeBuild = false; };
12
+
13
# fstar has a pretty hard dependency on certain z3 patch versions.
14
# https://github.com/FStarLang/FStar/issues/3689#issuecomment-2625073641
15
# We need to package all the Z3 versions it prefers here.
16
fstarNewZ3Version = "4.13.3";
17
fstarNewZ3 =
18
+
if z3'.version == fstarNewZ3Version then
19
+
z3'
20
else
21
+
z3'.overrideAttrs (final: rec {
22
version = fstarNewZ3Version;
23
src = fetchFromGitHub {
24
owner = "Z3Prover";
···
30
31
fstarOldZ3Version = "4.8.5";
32
fstarOldZ3 =
33
+
if z3'.version == fstarOldZ3Version then
34
+
z3'
35
else
36
+
z3'.overrideAttrs (prev: rec {
37
version = fstarOldZ3Version;
38
src = fetchFromGitHub {
39
owner = "Z3Prover";