mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 17:01:55 +00:00
Code Activity
z3/scripts
History
Exact
Daily Backlog Burner c41d11409a Fix dylib versioning in pip packages for macOS 
Adds proper -compatibility_version and -current_version linker flags
for macOS builds using the mk_util.py build system.

This resolves issue #6651 where .dylib files in pip packages had
incorrect version info (0.0.0) compared to homebrew builds which
had proper versioning.

The fix adds the appropriate linker flags to SLIBEXTRAFLAGS when
building on macOS:
- compatibility_version: major.minor.0 (minimum compatible version)
- current_version: major.minor.build (current library version)

This ensures pip package dylibs will have correct version metadata
that matches the actual Z3 version, fixing linking issues for
users who depend on proper dylib versioning.

Fixes #6651
2025-09-17 01:41:22 +00:00
..
build-win-signed-cmake.yml Update build-win-signed-cmake.yml 2025-06-19 10:18:03 -07:00
build-win-signed.yml Update build-win-signed.yml 2025-06-19 10:17:39 -07:00
build_libcxx_msan.sh restore exec bit on configure & scripts/*.sh 2020-05-16 20:07:36 +01:00
coverage.yml jobs 2021-07-30 22:38:56 -07:00
find_non_defined_param_eval_patterns.py rename a Python file 2025-08-07 08:33:04 -07:00
generate-doc.yml ocamldoc 2021-01-29 06:47:10 -08:00
jsdoctest.yml Standardize ubutu-latest vmImage 2022-08-15 07:55:45 -07:00
mk_consts_files.py try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
mk_copyright.py tabs 2016-01-04 21:04:07 +00:00
mk_def_file.py try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
mk_exception.py checkpoint 2012-10-23 12:12:59 -07:00
mk_genfile_common.py Typo Fixes (#6803) 2023-07-09 11:56:10 -07:00
mk_gparams_register_modules_cpp.py try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
mk_install_tactic_cpp.py try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
mk_make.py removed comments 2016-02-14 19:57:21 +00:00
mk_mem_initializer_cpp.py try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
mk_nuget_task.py Add Windows ARM64 builds to NuGet packages for nightly and release pipelines (#7847) 2025-09-03 19:03:51 -07:00
mk_pat_db.py try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
mk_project.py Move VERSION.txt to scripts directory and update all references (#7811) 2025-08-24 16:36:05 -07:00
mk_unix_dist.py Downgrade arm cross compile toolchain to glibc 2.34 (#7153) 2024-03-06 20:14:06 -08:00
mk_unix_dist_cmake.py porting unix distribution script to cmake 2024-01-30 16:28:52 -08:00
mk_util.py Fix dylib versioning in pip packages for macOS 2025-09-17 01:41:22 +00:00
mk_win_dist.py use single thread for win-dist 2025-03-02 19:23:19 -08:00
mk_win_dist_cmake.py 2nd attempt to use uniform java library location under bin #7406 2024-09-30 10:05:09 -07:00
nightly.yaml Add Windows ARM64 builds to NuGet packages for nightly and release pipelines (#7847) 2025-09-03 19:03:51 -07:00
policy.json add ESRP signing of nuget packages 2019-02-27 14:43:39 -08:00
pyg2hpp.py try without #!/bin/env python #5397 2021-07-10 15:20:56 +02:00
README updated docs 2012-10-25 18:46:37 -07:00
release.yml Add Windows ARM64 builds to NuGet packages for nightly and release pipelines (#7847) 2025-09-03 19:03:51 -07:00
test-examples-cmake.yml remove test-examples from MacOS build, re-add maxsat example 2020-05-19 13:52:44 -07:00
test-java-cmake.yml fix typos in script 2023-11-28 16:50:28 -08:00
test-jupyter.yml extract jupyter template 2019-06-11 11:52:42 -07:00
test-regressions-coverage.yml rename 2021-07-29 11:32:20 -07:00
test-regressions.yml more templates 2019-06-12 08:35:34 -07:00
test-z3.yml update pipelines 2019-06-12 01:25:43 -07:00
trackall.sh restore exec bit on configure & scripts/*.sh 2020-05-16 20:07:36 +01:00
update_api.py add on_binding callbacks across APIs 2025-08-07 12:55:50 -07:00
update_header_guards.py tabs 2016-01-04 21:04:07 +00:00
update_include.py update header include generation to use relative paths #534 2017-08-03 08:50:04 -07:00
update_version.py Move VERSION.txt to scripts directory and update all references (#7811) 2025-08-24 16:36:05 -07:00
VERSION.txt Move VERSION.txt to scripts directory and update all references (#7811) 2025-08-24 16:36:05 -07:00
vsts-mac.sh remove stale references to gac/csc 2020-07-26 12:03:03 -07:00
vsts-vs2013.cmd remove python doc test 2018-03-20 13:37:04 -07:00
vsts-vs2017.cmd rename additional build options #2709 2019-11-18 23:02:44 -08:00

README 

Instructions for updating external Z3 API
-----------------------------------------

The python "macros": def_Type() and def_API() are used to add new types and function definitions to the Z3 API.
The .h files provided to `mk_bindings(API_files)` contain these definitions.
See src\api\z3_api.h for many examples.

The bindings for .Net and Python are generated when mk_make.py is invoked.