explicitly link in gmp in applications that reference gmp symbols
explicitly link in gmp in applications that reference gmp symbols

They do this through the use of isl_int_* macros.
Not explicitly linking to gmp creates problems with some combinations
of libtool and ld, notably those that come with recent debians.

Reported-by: Albert Cohen <73a0868e3038e0ec3c51dfdde902fd3aeb902a59@inria.fr>
Tested-by: Albert Cohen <73a0868e3038e0ec3c51dfdde902fd3aeb902a59@inria.fr>
Signed-off-by: Sven Verdoolaege <e5350bbed4977f5eb8ae1dc6abd9ae59d21ace75@kotnet.org>

KangDroidSMProject/ISL,Meinersbur/isl,jleben/isl,PollyLabs/isl,tobig/isl,nicolasvasilache/isl,abduld/isl,epowers/isl,inducer/isl-mirror,SaberMod/isl-current,BobSaget-Mod/libisl,jleben/isl,simbuerg/isl,crossbuild/isl,simbuerg/isl,PollyLabs/isl,simbuerg/isl,tobig/isl,PollyLabs/isl,nicolasvasilache/isl,nicolasvasilache/isl,BenzoSM/isl,serge-sans-paille/isl,jleben/isl,SaberMod/isl-current,Meinersbur/isl,BobSaget-Mod/libisl,BenzoSM/isl,pierrotdelalune/isl,epowers/isl,evaautomation/isl,Distrotech/isl,PollyLabs/isl,tobig/isl,Meinersbur/isl,inducer/isl-mirror,Distrotech/isl,simbuerg/isl,inducer/isl-mirror,epowers/isl,crossbuild/isl,BobSaget-Mod/libisl,evaautomation/isl,tobig/isl,Distrotech/isl,jleben/isl,UBERTC/isl,jleben/isl,simbuerg/isl,KangDroidSMProject/ISL,cfx-next/toolchain_isl-upstream,VanirLLVM/toolchain_isl,serge-sans-paille/isl,KangDroidSMProject/ISL,nicolasvasilache/isl,evaautomation/isl,UBERTC/isl,cfx-next/toolchain_isl-upstream,VanirLLVM/toolchain_isl,BobSaget-Mod/libisl,VanirLLVM/toolchain_isl,cfx-next/toolchain_isl-upstream,inducer/isl-mirror,pierrotdelalune/isl,crossbuild/isl,evaautomation/isl,abduld/isl,KangDroidSMProject/ISL,epowers/isl,UBERTC/isl,BenzoSM/isl,serge-sans-paille/isl,cfx-next/toolchain_isl-upstream,nicolasvasilache/isl,crossbuild/isl,pierrotdelalune/isl,BenzoSM/isl,Distrotech/isl,Meinersbur/isl,inducer/isl-mirror,serge-sans-paille/isl,SaberMod/isl-current,KangDroidSMProject/ISL,VanirLLVM/toolchain_isl,abduld/isl,serge-sans-paille/isl,VanirLLVM/toolchain_isl,SaberMod/isl-current,abduld/isl,epowers/isl,cfx-next/toolchain_isl-upstream,UBERTC/isl,Distrotech/isl,PollyLabs/isl,pierrotdelalune/isl,BobSaget-Mod/libisl,BenzoSM/isl,pierrotdelalune/isl