3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00

Fix ocaml link and load (#5618)

* Add path flags for cc loader (linux).

* Fix os linking and loading problem (maybe on #4840).
This commit is contained in:
Weng Shiwei 2021-10-25 05:21:40 -04:00 committed by GitHub
parent 066076557f
commit ec9498e166
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

Diff content is not available