convert False/True to 0/1 when dumping settings

src/settings.js uses 0/1 instead of false/true.

Author: hujiajie

emscripten.py

@@ -582,10 +582,13 @@ def read_proxied_function_signatures(asmConsts):
 
 
 def compile_settings(compiler_engine, libraries, temp_files):
+  settings = shared.Settings.to_dict()
+  settings.update((key, int(value)) for key, value in settings.items() if isinstance(value, bool))
+
   # Save settings to a file to work around v8 issue 1579
   with temp_files.get_file('.txt') as settings_file:
     with open(settings_file, 'w') as s:
-      json.dump(shared.Settings.to_dict(), s, sort_keys=True)
+      json.dump(settings, s, sort_keys=True)
 
     # Call js compiler
     env = os.environ.copy()

tools/shared.py

@@ -1178,7 +1178,7 @@ def serialize(self):
       ret = []
       for key, value in self.attrs.items():
         if key == key.upper():  # this is a hack. all of our settings are ALL_CAPS, python internals are not
-          jsoned = json.dumps(value, sort_keys=True)
+          jsoned = json.dumps(int(value) if isinstance(value, bool) else value, sort_keys=True)
           ret += ['-s', key + '=' + jsoned]
       return ret