diff options
author | Behdad Esfahbod <behdad@behdad.org> | 2012-04-17 15:47:52 -0400 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-07-13 15:37:38 -0700 |
commit | e7f8355cff45162b81a9ab6e445c771766b878ed (patch) | |
tree | 5d8a340de431a8928c10ae26157299822a1429c3 /tools/shared.py | |
parent | 12217f783d7652b7a81b431793b78ce8da14eaa0 (diff) |
Look into system/local/include and system/local/lib too
Now one can do:
emconfigure ./configure --prefix=/path/to/emscripten/local
And then make install to there, like a real /usr/local. No
manual bitcode moving.
Now if there was a way to change default prefix of configure
using an env var...
Diffstat (limited to 'tools/shared.py')
-rw-r--r-- | tools/shared.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 997c0ad9..c923f36b 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -200,6 +200,7 @@ if USE_EMSDK: # allows projects to override them) # Note that -nostdinc++ is not needed, since -nostdinc implies that! EMSDK_OPTS = ['-nostdinc', '-Xclang', '-nobuiltininc', '-Xclang', '-nostdsysteminc', + '-Xclang', '-isystem' + path_from_root('system', 'local', 'include'), '-Xclang', '-isystem' + path_from_root('system', 'include'), '-Xclang', '-isystem' + path_from_root('system', 'include', 'emscripten'), '-Xclang', '-isystem' + path_from_root('system', 'include', 'bsd'), # posix stuff |