mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

add option to disable FPMATH

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-02-20 15:33:13 +02:00
parent f66b4f0880
commit b38b6daba3
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/mk_util.py
View file

@ -114,6 +114,7 @@ ALWAYS_DYNAMIC_BASE=False
FPMATH="Default" FPMATH="Default"
FPMATH_FLAGS="-mfpmath=sse -msse -msse2" FPMATH_FLAGS="-mfpmath=sse -msse -msse2"
FPMATH_ENABLED=getenv("FPMATH_ENABLED", "True")
def check_output(cmd): def check_output(cmd):
@ -278,6 +279,9 @@ def test_gmp(cc):
def test_fpmath(cc): def test_fpmath(cc):
global FPMATH_FLAGS global FPMATH_FLAGS
if FPMATH_ENABLED == "False":
FPMATH_FLAGS=""
return "Disabled"
if is_verbose(): if is_verbose():
print("Testing floating point support...") print("Testing floating point support...")
t = TempFile('tstsse.cpp') t = TempFile('tstsse.cpp')

2
scripts/nightly.yaml
View file

@ -1,6 +1,6 @@
variables: variables:
ReleaseVersion: '4.8.15' ReleaseVersion: '4.8.15'
MacFlags: 'CXXFLAGS="-arch arm64" LINK_EXTRA_FLAGS="-arch arm64" SLINK_EXTRA_FLAGS="-arch arm64" CPPFLAGS="-arch arm64"' MacFlags: 'CXXFLAGS="-arch arm64" LINK_EXTRA_FLAGS="-arch arm64" SLINK_EXTRA_FLAGS="-arch arm64" FPMATH_ENABLED=False'
stages: stages:
- stage: Build - stage: Build