"vscode:/vscode.git/clone" did not exist on "67904212918f0d9114a3e87f1ac0dbcd958f2ab6"
Unverified Commit 847995db authored by mszarma's avatar mszarma Committed by GitHub
Browse files

adding WITH_SYMBOLS env var (#300)

parent 77cfe4be
......@@ -24,6 +24,7 @@ if os.getenv('FORCE_ONLY_CPU', '0') == '1':
suffices = ['cpu']
BUILD_DOCS = os.getenv('BUILD_DOCS', '0') == '1'
WITH_SYMBOLS = os.getenv('WITH_SYMBOLS', '0') == '1'
def get_extensions():
......@@ -37,7 +38,7 @@ def get_extensions():
extra_compile_args = {'cxx': ['-O2']}
if not os.name == 'nt': # Not on Windows:
extra_compile_args['cxx'] += ['-Wno-sign-compare']
extra_link_args = ['-s']
extra_link_args = [] if WITH_SYMBOLS else ['-s']
info = parallel_info()
if ('backend: OpenMP' in info and 'OpenMP not found' not in info
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment