configure.ac: use AX_SUBMODULE for gmp for consistency
[platform/upstream/isl.git] / polyhedron_minimize.c
2009-08-28 Sven Verdoolaegeadd isl_polyhedron_minimize application