configure.ac: allow specification of gmp location
commit08ce5adfcf38a3a2910b9864da3aff36836da746
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 4 Jun 2012 11:17:47 +0000 (4 13:17 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 4 Jun 2012 12:31:49 +0000 (4 14:31 +0200)
tree8f841b6b71d4fd6746a5f3854c318fd99d83f7eb
parentad826c8eae9fac835c09ea2697b418d4cf2dd92d
configure.ac: allow specification of gmp location

When using the bundled isl, we need to set the include path
for the gmp headers (if installed in a non-standard location).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Makefile.am
configure.ac