[Bug bootstrap/61792] [4.10 Regression] Bootstrap error with undeclared function isl_ast_expr_get_val

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61792

--- Comment #9 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> and val_gmp.h only exists in isl-0.13.

I have val_gmp.h for isl-0.12.1 and isl-0.12.2:

[Book15] f90/bug% find /opt/libs -name val_gmp.h
/opt/libs/cloog-0.18.1/isl/include/isl/val_gmp.h
/opt/libs/isl-0.12.1/include/isl/val_gmp.h
/opt/libs/isl-0.12.2/include/isl/val_gmp.h

and they are all the same.