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

add sequoia to os versions #7407

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-09-30 15:57:49 -07:00
parent 86b97186b0
commit 19f63cd6e3
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/api/python/setup.py
View file

@ -17,7 +17,7 @@ class LibError(Exception):
build_env = dict(os.environ) build_env = dict(os.environ)
build_env['PYTHON'] = sys.executable build_env['PYTHON'] = sys.executable
build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -std=c++17" build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -std=c++20"
# determine where we're building and where sources are # determine where we're building and where sources are
ROOT_DIR = os.path.abspath(os.path.dirname(__file__)) ROOT_DIR = os.path.abspath(os.path.dirname(__file__))
@ -56,7 +56,7 @@ HEADERS_DIR = os.path.join(ROOT_DIR, 'z3', 'include')
BINS_DIR = os.path.join(ROOT_DIR, 'bin') BINS_DIR = os.path.join(ROOT_DIR, 'bin')
# determine platform-specific filenames # determine platform-specific filenames
if BUILD_PLATFORM in ('darwin', 'osx'): if BUILD_PLATFORM in ('sequoia','darwin', 'osx'):
LIBRARY_FILE = "libz3.dylib" LIBRARY_FILE = "libz3.dylib"
EXECUTABLE_FILE = "z3" EXECUTABLE_FILE = "z3"
elif BUILD_PLATFORM in ('win32', 'cygwin', 'win'): elif BUILD_PLATFORM in ('win32', 'cygwin', 'win'):
@ -199,7 +199,7 @@ def _copy_bins():
link_name = None link_name = None
if BUILD_PLATFORM in ('win32', 'cygwin', 'win'): if BUILD_PLATFORM in ('win32', 'cygwin', 'win'):
pass # TODO: When windows VMs work on M1, fill this in pass # TODO: When windows VMs work on M1, fill this in
elif BUILD_PLATFORM in ('darwin', 'osx'): elif BUILD_PLATFORM in ('sequoia', 'darwin', 'osx'):
split = LIBRARY_FILE.split('.') split = LIBRARY_FILE.split('.')
link_name = split[0] + '.' + major_minor + '.' + split[1] link_name = split[0] + '.' + major_minor + '.' + split[1]
else: else: