#!/bin/sh
rm -rf z3
git clone https://github.com/Z3Prover/z3.git
tar cvf - --exclude .git z3 | xz -9 >z3-`date '+%Y%m%d'`.tar.xz
rm -rf z3
