dist: Add a packaging script

cpitclaudel · Apr 15, 2018 · d1f9b10 · d1f9b10
1 parent b08f5cb
commit d1f9b10
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,3 +3,5 @@
 /provision.log
 /html/z3w.wasm
 /html/z3w.js
+/dist/
+/z3.wasm.tar.gz
diff --git a/README.dist.rst b/README.dist.rst
@@ -0,0 +1,10 @@
+=============
+ ``z3.wasm``
+=============
+
+This tarball contains a pre-build version of ``z3.wasm``.  Consult `the original README <https://github.com/cpitclaudel/z3.wasm>`_ for details.
+
+Demo
+====
+
+Use ``python3 -m http.server`` to start a web server in the current folder, then visit http://localhost:8000/z3.html to check whether everything works.
diff --git a/dist.sh b/dist.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+rm -rf dist/ html/z3*w.*
+mkdir dist
+cp html/* dist/
+cp README.dist.rst dist/README.rst
+cp z3-wasm/z3/z3smt2w.js z3-wasm/z3/z3smt2w.wasm z3-wasm/z3/z3w.js z3-wasm/z3/z3w.wasm dist/
+tar --create --gzip --file z3.wasm.tar.gz --transform 's|^dist|z3.wasm|' dist