?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update isl for rename of header files
[isl-polylib.git] / autogen.sh
blobacdad8cf58e9bdaddc9feeca613dec32c2f05779
1 #!/bin/sh
2 libtoolize -c
3 aclocal -I m4
4 automake -a -c --foreign
5 autoconf
6 if test -f isl/autogen.sh; then
7 (cd isl; ./autogen.sh)
8 fi
9 if test -f polylib/autogen.sh; then
10 (cd polylib; ./autogen.sh)
11 fi