diff --git a/setup.py b/setup.py index b6ad06fe..957d2264 100644 --- a/setup.py +++ b/setup.py @@ -24,6 +24,7 @@ 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