diff options
author | Daniel Wirtz <dcode@dcode.io> | 2020-09-14 05:12:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-14 05:12:24 +0200 |
commit | 0ade3f2761b0661ab4d1290ab704c594c1d90df9 (patch) | |
tree | 66c4580221b61840c69d34f8ec9a641db0bc2f8d /third_party/v8 | |
parent | cd9bd149162ecdd9f2715367617771ea55b7cd7e (diff) | |
download | binaryen-0ade3f2761b0661ab4d1290ab704c594c1d90df9.tar.gz binaryen-0ade3f2761b0661ab4d1290ab704c594c1d90df9.tar.bz2 binaryen-0ade3f2761b0661ab4d1290ab704c594c1d90df9.zip |
Add mozjs, V8 and WABT setup script (#3053)
Adds a new script `./third_party/setup.py` to conveniently install necessary dependencies for testing and fuzzing, including the SpiderMonkey JS shell (mozjs), the V8 JS shell and WABT. Other scripts now automatically pick these up when installed and fall back to look for the tools in PATH like before.
Diffstat (limited to 'third_party/v8')
-rw-r--r-- | third_party/v8/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/third_party/v8/.gitignore b/third_party/v8/.gitignore new file mode 100644 index 000000000..d6b7ef32c --- /dev/null +++ b/third_party/v8/.gitignore @@ -0,0 +1,2 @@ +* +!.gitignore |