#!/bin/bash -ex

cd z3/build
make uninstall