Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions interpreter/.gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,4 @@ wasm
*.install
*.js
*.zip
opam
12 changes: 11 additions & 1 deletion interpreter/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,17 @@ install:
opam-release/%:
git tag opam-$*
git push --tags
opam publish
rm -f opam-$*.zip
wget https://github.com/WebAssembly/spec/archive/opam-$*.zip
cp wasm.opam opam
echo 'url {' >> opam
echo ' src: "https://github.com/WebAssembly/spec/archive/[email protected]"' >> opam
echo ' checksum: "md5=@MD5"' >> opam
echo '}' >> opam
sed -i ".tmp" s/@VERSION/$*/g opam
sed -i ".tmp" s/@MD5/`md5 -q opam-$*.zip`/g opam
rm opam.tmp opam-$*.zip
@echo Created file ./opam, submit to github opam-repository/packages/wasm/wasm.$*/opam

# Miscellaneous targets

Expand Down