3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-01 10:28:46 +00:00
z3/.github
Shiwei Weng 翁士伟 c2efd3dc6d
Update on building OCaml binding with CMake (#7698)
* fix: add generating META for ocamlfind.

* Patch macos. We need to keep the `@rpath` and use environment var to enable the test because we need to leave it to be fixed by package managers.

* Trigger CI.

* Debug.

* Debug.

* Debug.

* Debug.

* Debug.

* Debug.

* Hacky fix for ocaml building warning.

* Fix typo and rename variables.
2025-06-27 17:55:58 -07:00
..
prompts gitignore 2025-03-12 17:18:37 -07:00
workflows Update on building OCaml binding with CMake (#7698) 2025-06-27 17:55:58 -07:00
dependabot.yml chore: Included githubactions in the dependabot config (#6064) 2022-06-01 20:02:30 -07:00