mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 08:28:44 +00:00
Code Activity

Fix #7623 (#7672)

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2025-06-06 19:29:04 +01:00 • committed by GitHub
parent 3e75b22c94
commit 590b79dc54
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_util.py
View file

@ -2077,6 +2077,9 @@ class MLComponent(Component):
# Some ocamlmklib's don't like -g; observed on cygwin, but may be others as well. # Some ocamlmklib's don't like -g; observed on cygwin, but may be others as well.
OCAMLMKLIB += ' -g' OCAMLMKLIB += ' -g'
if IS_OSX:
OCAMLMKLIB += ' -ldopt -Wl,-headerpad_max_install_names'
z3mls = os.path.join(self.sub_dir, 'z3ml') z3mls = os.path.join(self.sub_dir, 'z3ml')
LIBZ3ML = '' LIBZ3ML = ''
@ -2694,6 +2697,8 @@ def mk_config():
CXXFLAGS = '%s -arch arm64' % CXXFLAGS CXXFLAGS = '%s -arch arm64' % CXXFLAGS
LDFLAGS = '%s -arch arm64' % LDFLAGS LDFLAGS = '%s -arch arm64' % LDFLAGS
SLIBEXTRAFLAGS = '%s -arch arm64' % SLIBEXTRAFLAGS SLIBEXTRAFLAGS = '%s -arch arm64' % SLIBEXTRAFLAGS
if IS_OSX and is_ml_enabled():
SLIBFLAGS += ' -Wl,-headerpad_max_install_names'
config.write('PREFIX=%s\n' % PREFIX) config.write('PREFIX=%s\n' % PREFIX)
config.write('CC=%s\n' % CC) config.write('CC=%s\n' % CC)