aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-01-20 17:56:59 -0800
committerAlon Zakai <alonzakai@gmail.com>2012-01-20 17:56:59 -0800
commit0647e9d3d9a7cd8f1e2e76b2d706316ca034bf1e (patch)
tree26fadf734c8d22bd67964c8c5ae51183912b2dad
parenta6304a8de760625837bbc925691a6b93d9c3002e (diff)
turn on all CORRECT options for libcxx, just to be safe for now
-rwxr-xr-xemcc6
1 files changed, 3 insertions, 3 deletions
diff --git a/emcc b/emcc
index b659e389..73921f91 100755
--- a/emcc
+++ b/emcc
@@ -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)