#!/bin/bash
set -e

./configure --prefix=/usr \
            --disable-static \
            --docdir=/usr/share/doc/isl-"${VERSION}" &&

make &&
make html &&

make -j1 install &&
make -j1 install-html