From 2280e9562af30da2f1fa93990b6b92687d601647 Mon Sep 17 00:00:00 2001 From: Yisu Remy Wang Date: Fri, 2 Feb 2024 09:46:31 -0800 Subject: [PATCH] Improve instructions for working with the Julia API (#7108) --- src/api/julia/README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/api/julia/README.md b/src/api/julia/README.md index ec4b1e109..12e846191 100644 --- a/src/api/julia/README.md +++ b/src/api/julia/README.md @@ -14,7 +14,10 @@ make ## Julia part -The Z3 binaries are provided to [Z3.jl](https://github.com/ahumenberger/Z3.jl) via [z3_jll.jl](https://github.com/JuliaBinaryWrappers/z3_jll.jl). That is, in order to release a new Z3 version one has to update the corresponding [build script](https://github.com/JuliaPackaging/Yggdrasil/tree/master/Z/z3) which triggers a new version of z3_jll.jl. +The Z3 binaries are provided to [Z3.jl](https://github.com/ahumenberger/Z3.jl) via [z3_jll.jl](https://github.com/JuliaBinaryWrappers/z3_jll.jl). +That is, in order to propagate any C++ changes to the Julia side, one has to: +1. Release a new version of Z3. +2. Update the corresponding [build script](https://github.com/JuliaPackaging/Yggdrasil/tree/master/Z/z3) to use the new Z3 release. ### Using the compiled version of Z3