1DOLLY 72PACKAGE wabt3REQUIRES HOST runtime@045# The WebAssembly Binary Toolkit from the files of upstream's source release,6# unchanged, configured by its own CMake: the tools that read, write and7# check a module. Dolly's programs are such modules. Its interpreter, wasm2c8# and their runtime are not built.9FROM /v0.1.4/demos/tools/Dollyfile-tools-build 81e1c1bc8b06c83b1daead6c8f09bc8b1382e8fe165f896a98109396b58bb3051011REQUIRES HEADER libc12REQUIRES HEADER cpp13REQUIRES LIB    c++14REQUIRES LIB    c++abi15REQUIRES TOOL   c++16REQUIRES TOOL   cc17REQUIRES TOOL   cmake18REQUIRES TOOL   cp19REQUIRES TOOL   grep20REQUIRES TOOL   make21REQUIRES TOOL   tar22REQUIRES TOOL   text-page2324SOURCE /v0.1.4/dist/static/tools/wabt.tar 9432dcf5b4c875fd6948cbb0b66a94f36709b4021cb66502fd1220f8ce27994c /tmp/wabt.tar25SLOP tar -xf /tmp/wabt.tar -C /26SLOP cmake -S /tmp/wabt -B /tmp/wabt/build \27  -DCMAKE_SYSTEM_NAME=Dolly -DCMAKE_SYSTEM_PROCESSOR=wasm64 \28  -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_FLAGS_RELEASE=-O1 -DCMAKE_CXX_FLAGS_RELEASE=-O1 \29  -DBUILD_TESTS=OFF -DBUILD_LIBWASM=OFF -DUSE_INTERNAL_SHA256=ON30SLOP cmake --build /tmp/wabt/build -j4 --target wat2wasm wasm2wat wasm-objdump wasm-strip wasm-validate31SLOP CWD /tmp/wabt/build cp wat2wasm wasm2wat wasm-objdump wasm-strip wasm-validate /usr/bin3233# A module written from text, checked, and read back; then this program itself.34FILE /tmp/wabt/check.wat35    (module (func (export "answer") (result i32) i32.const 42))36SLOP wat2wasm /tmp/wabt/check.wat -o /tmp/wabt/check.wasm && wasm-validate /tmp/wabt/check.wasm37SLOP wasm2wat /tmp/wabt/check.wasm | grep -q 'i32.const 42'38SLOP wasm-objdump -h /usr/bin/wasm-objdump | grep -q Code3940EXPORTS TOOL wat2wasm41EXPORTS TOOL wasm2wat42EXPORTS TOOL wasm-objdump43EXPORTS TOOL wasm-strip44EXPORTS TOOL wasm-validate45FILE /usr/share/licenses/wabt/LICENSE46FILE /usr/share/licenses/wabt/picosha2-LICENSE47SLOP text-page /usr/share/man/man1/wat2wasm.1 /usr/share/man/man1/wasm2wat.1 /usr/share/man/man1/wasm-objdump.1 /usr/share/man/man1/wasm-strip.1 /usr/share/man/man1/wasm-validate.148FILE /usr/share/man/cat1/wat2wasm.149FILE /usr/share/man/cat1/wasm2wat.150FILE /usr/share/man/cat1/wasm-objdump.151FILE /usr/share/man/cat1/wasm-strip.152FILE /usr/share/man/cat1/wasm-validate.153