#!/bin/bash set -e cd microhs sed -i 's,^PREFIX=.*,PREFIX=${HOME}/.local,' Makefile make make install make -f Makefile.packages