use GMP flags when compiling isl_test
[platform/upstream/isl.git] / isl_output.c
2008-10-13 Sven Verdoolaegeadd isl_basic_set_print and isl_set_print for printing...