diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-09-09 18:33:48 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-09-09 18:33:48 -0700 |
| commit | 24e61522f29d3796c0a1d2736d6008006b2e4ad6 (patch) | |
| tree | 8f730aba89278f06856275a4c6f7c226d8082f5a /settings.py | |
| parent | b12e4059465169ae9302c3565b08fc30e9132781 (diff) | |
| parent | 953ebf768763fe93a0af76f5007d1f69f91d6440 (diff) | |
Merge branch 'incoming'
Diffstat (limited to 'settings.py')
| -rw-r--r-- | settings.py | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/settings.py b/settings.py index 1133a656..bb749945 100644 --- a/settings.py +++ b/settings.py @@ -2,14 +2,15 @@ # IMPORTANT: Edit the *copy* with the right paths! # Note: If you put paths relative to the home directory, do not forget os.path.expanduser -EMSCRIPTEN_ROOT = os.path.expanduser('~/Dev/emscripten') # this helps projects using emscripten find it - -LLVM_ROOT = os.path.expanduser('~/Dev/llvm/cbuild/bin') +# this helps projects using emscripten find it +EMSCRIPTEN_ROOT = os.path.expanduser(os.getenv('EMSCRIPTEN') or '/opt/emscripten') +LLVM_ROOT = os.path.expanduser(os.getenv('LLVM') or '/usr/bin') # See below for notes on which JS engine(s) you need NODE_JS = 'node' -SPIDERMONKEY_ENGINE = [os.path.expanduser('~/Dev/mozilla-central/js/src/js'), '-m', '-n'] -V8_ENGINE = os.path.expanduser('~/Dev/v8/d8') +SPIDERMONKEY_ENGINE = [ + os.path.expanduser(os.getenv('SPIDERMONKEY') or 'js'), '-m', '-n'] +V8_ENGINE = os.path.expanduser(os.getenv('V8') or 'd8') JAVA = 'java' |