ahamilton/eris
1
0
Fork 0
Code Releases Activity

tools: Add wabt tools for webassembly file types.

Browse source
This commit is contained in:
Andrew Hamilton 2019-06-26 23:16:28 +10:00
parent 57febfc08a
commit ce843e89f3
2 changed files with 17 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
eris/tools.toml
View file

@ -19,6 +19,7 @@ tools_for_extensions = [
[["php"], ["php7_syntax"]], [["php"], ["php7_syntax"]],
[["go"], ["go_vet", "golint", "godoc"]], [["go"], ["go_vet", "golint", "godoc"]],
[["bash", "sh", "dash", "ksh"], ["shellcheck"]], [["bash", "sh", "dash", "ksh"], ["shellcheck"]],
[["wasm"], ["wasm-validate", "wasm-objdump"]],
[["pdf"], ["pdf2txt"]], [["pdf"], ["pdf2txt"]],
[["html", "htm"], ["html_syntax", "html2text", "pandoc"]], [["html", "htm"], ["html_syntax", "html2text", "pandoc"]],
[["yaml", "yml"], ["yamllint"]], [["yaml", "yml"], ["yamllint"]],
@ -238,6 +239,15 @@ tools_for_extensions = [
url = "https://github.com/golang/lint" url = "https://github.com/golang/lint"
command = "golint -set_exit_status" command = "golint -set_exit_status"
[wasm-validate]
dependencies = ["git/github.com/WebAssembly/wabt"]
command = "wasm-validate"
[wasm-objdump]
dependencies = ["git/github.com/WebAssembly/wabt"]
command = "wasm-objdump --disassemble"
success_status = "normal"
[yamllint] [yamllint]
dependencies = ["pip/yamllint"] dependencies = ["pip/yamllint"]
url = "https://github.com/adrienverge/yamllint" url = "https://github.com/adrienverge/yamllint"

7
make-flatpak-manifest.py
View file

@ -273,6 +273,13 @@ patches = {
"make -f makefile", "make -f makefile",
"install -DT bin/7za /app/bin/7z"]}, "install -DT bin/7za /app/bin/7z"]},
"wabt": {"buildsystem": "simple",
"build-commands": [
"mkdir build && cd build && "
"cmake -DCMAKE_INSTALL_PREFIX=/app ..",
"cd build && make -j4 install"]
},
"rpm": {"config-opts": ["--without-lua"]}, "rpm": {"config-opts": ["--without-lua"]},
"tidy-html5": {"buildsystem": "simple", "tidy-html5": {"buildsystem": "simple",