diff options
author | Remko Tronçon <remko@users.noreply.github.com> | 2022-11-13 18:19:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-13 17:19:27 +0000 |
commit | a3c6ec4364f87f72c58bce85ab0d3bd0289505f0 (patch) | |
tree | 489909bf1f342e2ad7781585698090906eee4b3f /third_party | |
parent | f47432a4b68f8bf2f6ef9fc065f80932df432e1d (diff) | |
download | wabt-a3c6ec4364f87f72c58bce85ab0d3bd0289505f0.tar.gz wabt-a3c6ec4364f87f72c58bce85ab0d3bd0289505f0.tar.bz2 wabt-a3c6ec4364f87f72c58bce85ab0d3bd0289505f0.zip |
Install wasm2c source files as data (#2058)
Toolchains using wasm2c depend on the wasm-rt files to build
the generated programs. Using a binary wasm-rt library is not enough
for toolchains that do e.g. cross-compilation, and they need to copy
and use the source files instead. Therefore, package these source
files as data for toolchains to use.
Closes #2057
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions