?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
small tool for removing redundant equalities
[barvinok.git] / autogen.sh
blob905caee65fc2f0c2e4e447f99e43041eda87b3b4
1 #!/bin/sh
2 libtoolize -c --force
3 aclocal
4 automake -a -c --foreign
5 autoconf
6 autoheader
lattice point enumeration library