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