#!/bin/bash
set -evu

apt-get update
apt-get upgrade -yqq

./bootstrap
./configure CFLAGS="-ggdb -O0" \
	    --prefix=/usr \
      --enable-coverage \
	    --enable-logging=verbose \
	    --disable-doc
