diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-01-20 17:56:59 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-20 17:56:59 -0800 |
commit | 0647e9d3d9a7cd8f1e2e76b2d706316ca034bf1e (patch) | |
tree | 26fadf734c8d22bd67964c8c5ae51183912b2dad | |
parent | a6304a8de760625837bbc925691a6b93d9c3002e (diff) |
turn on all CORRECT options for libcxx, just to be safe for now
-rwxr-xr-x | emcc | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -477,9 +477,9 @@ try: shared.Building.build_library('libcxx', shared.EMSCRIPTEN_TEMP_DIR, shared.EMSCRIPTEN_TEMP_DIR, ['libcxx.bc'], configure=None, copy_project=True, source_dir=shared.path_from_root('system', 'lib', 'libcxx')) return os.path.join(shared.EMSCRIPTEN_TEMP_DIR, 'libcxx', 'libcxx.bc') def fix_libcxx(): - # libcxx probably needs sign correction. # If we are in mode 0, switch to 2. We will add our lines - shared.Settings.CORRECT_SIGNS = 1 - print >> sys.stderr, 'emcc: warning: using libcxx turns on CORRECT_SIGNS' + # libcxx might need corrections, so turn them all on. TODO: check which are actually needed + shared.Settings.CORRECT_SIGNS = shared.Settings.CORRECT_OVERFLOWS = shared.Settings.CORRECT_ROUNDINGS = 1 + print >> sys.stderr, 'emcc: warning: using libcxx turns on CORRECT_* options' libcxx_symbols = map(lambda line: line.strip().split(' ')[1], open(shared.path_from_root('system', 'lib', 'libcxx', 'symbols')).readlines()) libcxx_symbols = filter(lambda symbol: symbol not in dlmalloc_symbols, libcxx_symbols) libcxx_symbols = set(libcxx_symbols) |