mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

Append std=c++11 instead of replacing CXXFLAGS; see #2130

Browse source
This commit is contained in:
Audrey Dutcher 2019-02-10 14:12:27 -08:00
parent c5df6ce96e
commit b702cad81e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -16,7 +16,7 @@ from setuptools.command.bdist_egg import bdist_egg as _bdist_egg
build_env = dict(os.environ) build_env = dict(os.environ)
build_env['PYTHON'] = sys.executable build_env['PYTHON'] = sys.executable
build_env['CXXFLAGS'] = "-std=c++11" build_env['CXXFLAGS'] = build_env.get('CXXFLAGS', '') + " -std=c++11"
ROOT_DIR = os.path.abspath(os.path.dirname(__file__)) ROOT_DIR = os.path.abspath(os.path.dirname(__file__))
SRC_DIR_LOCAL = os.path.join(ROOT_DIR, 'core') SRC_DIR_LOCAL = os.path.join(ROOT_DIR, 'core')