From ce843e89f33903bdf2f0361f6d17f1b419d60737 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Wed, 26 Jun 2019 23:16:28 +1000
Subject: [PATCH] tools: Add wabt tools for webassembly file types.

---
 eris/tools.toml          | 10 ++++++++++
 make-flatpak-manifest.py |  7 +++++++
 2 files changed, 17 insertions(+)

diff --git a/eris/tools.toml b/eris/tools.toml
index e65a167..62f329b 100644
--- a/eris/tools.toml
+++ b/eris/tools.toml
@@ -19,6 +19,7 @@ tools_for_extensions = [
    [["php"], ["php7_syntax"]],
    [["go"], ["go_vet", "golint", "godoc"]],
    [["bash", "sh", "dash", "ksh"], ["shellcheck"]],
+   [["wasm"], ["wasm-validate", "wasm-objdump"]],
    [["pdf"], ["pdf2txt"]],
    [["html", "htm"], ["html_syntax", "html2text", "pandoc"]],
    [["yaml", "yml"], ["yamllint"]],
@@ -238,6 +239,15 @@ tools_for_extensions = [
   url = "https://github.com/golang/lint"
   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]
   dependencies = ["pip/yamllint"]
   url = "https://github.com/adrienverge/yamllint"
diff --git a/make-flatpak-manifest.py b/make-flatpak-manifest.py
index 6f89947..62ada2c 100755
--- a/make-flatpak-manifest.py
+++ b/make-flatpak-manifest.py
@@ -272,6 +272,13 @@ patches = {
               "build-commands": [
                   "make -f makefile",
                   "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"]},