chapter8/isl.sh


1
2
3
4
5
6
7
8
9
10
11
12

#!/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