explicitly link in gmp when using libisl.la
commit57b54b8460e90709cc9da457e11d6beadd43ad24
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 2 Nov 2011 17:30:44 +0000 (2 18:30 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 2 Nov 2011 17:30:44 +0000 (2 18:30 +0100)
tree97bbb10fe69645fe9f53daa06f4bbaa0ac5ee7fa
parentfdb0dc6700c459129cb103b9c9c71ac2f7a7585d
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