explicitly link in gmp when using libisl.la
commitf127b55c34eb11ae1bb57fad49131a4d0affbc0d
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 23 Oct 2011 13:38:10 +0000 (23 15:38 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 23 Oct 2011 13:38:10 +0000 (23 15:38 +0200)
tree3f71b17b75c2b71584641d9cc319b12abd081ffb
parent2396d80de11d67dc2fa77380b1ce5ac6570d9251
explicitly link in gmp when using libisl.la

Some systems have configured libtool to not include all dependency
libraries and therefore gmp does not get linked in.
We do need it however because of the use of isl_int_* macros.

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