Home
last modified time | relevance | path

Searched refs:SLOW_OPTIMIZE (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/scripts/
H A Dmk_util.py110 SLOW_OPTIMIZE=False variable
685 global LINUX_X64, SLOW_OPTIMIZE, LOG_SYNC, SINGLE_THREADED
732 SLOW_OPTIMIZE = True
2506 LTCG=' /LTCG' if SLOW_OPTIMIZE else ''
2507 GL = ' /GL' if SLOW_OPTIMIZE else ''
/dports/math/py-z3-solver/z3-z3-4.8.10/scripts/
H A Dmk_util.py110 SLOW_OPTIMIZE=False variable
685 global LINUX_X64, SLOW_OPTIMIZE, LOG_SYNC, SINGLE_THREADED
732 SLOW_OPTIMIZE = True
2419 LTCG=' /LTCG' if SLOW_OPTIMIZE else ''
2420 GL = ' /GL' if SLOW_OPTIMIZE else ''