#!/bin/sh -e
./configure \
--prefix=/usr \
--with-threads \
--with-history \
--without-python \
--without-icu
make
make DESTDIR="$1" install
# Remove docs.
rm -rf "$1/usr/share/doc"
