isabelle: build with z3 4.4.0
Isabelle uses Z3 in a non-forwards-compatible manner, as it needs to consume the proof objects Z3 produces. Building Isabelle with newer Z3 causes errors when trying to build a session that depends on HOL-Library. Try $ isabelle jedit -l HOL-Library Fixes #99399.
This commit is contained in:
parent
8205e12a45
commit
d9003bfd56
|
@ -26348,6 +26348,7 @@ in
|
|||
});
|
||||
|
||||
java = openjdk11;
|
||||
z3 = z3_4_4_0;
|
||||
};
|
||||
|
||||
iprover = callPackage ../applications/science/logic/iprover { };
|
||||
|
|
Loading…
Reference in a new issue