]> git.proxmox.com Git - wasi-libc.git/commit
Correct the version of #136 on master (#141)
authorDan Gohman <sunfish@mozilla.com>
Fri, 22 Nov 2019 04:55:26 +0000 (20:55 -0800)
committerGitHub <noreply@github.com>
Fri, 22 Nov 2019 04:55:26 +0000 (20:55 -0800)
commitcd74e1d988e1c0a58557e61ccd9c36e068001818
tree29ce35ab4bc4bebc2f9e547e0895a15dbd71fa1f
parent446cb3f1aa21f9b1a1eab372f82d65d19003e924
Correct the version of #136 on master (#141)

* Add the WASI repo as a submodule.

Also, add the witx filenames to the generated output, and just have
`cargo run` auto-generate the api.h header, rather than using clap.

* Switch witx to a path dependency.

* Add a test.

* Add a test that the generated file is in sync with the generator.

* Enable CI testing with Github Actions.

* Fix the name of the wasi-headers directory.

* Enable submodules.

* Add a diff mechanism to help explain failures.

* Sort the inputs for display.

* More debugging.

* More debugging.

* Add a .gitattributes file forcing text files to be eol=lf.

Most editors these days can deal with eof=lf files, even on Windows, and
this avoids trouble with headers and other generated files differing in
line endings.
.gitattributes [new file with mode: 0644]
.github/workflows/main.yml [new file with mode: 0644]
.gitmodules [new file with mode: 0644]
libc-bottom-half/headers/public/wasi/api.h
tools/wasi-headers/.gitignore [new file with mode: 0644]
tools/wasi-headers/Cargo.toml
tools/wasi-headers/WASI [new submodule]
tools/wasi-headers/src/c_header.rs
tools/wasi-headers/src/lib.rs [new file with mode: 0644]
tools/wasi-headers/src/main.rs
tools/wasi-headers/tests/verify.rs [new file with mode: 0644]