?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add isl_printer
[isl.git] / autogen.sh
blob4250cc4a612035a816a404b9c1de8e7443c65974
1 #!/bin/sh
2 libtoolize -c
3 aclocal -I m4
4 autoheader
5 automake -a -c --foreign
6 autoconf
Integer set library