projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1465ee1) | patch
explicitly link in gmp in applications that reference gmp symbols
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 15 May 2011 18:12:35 +0000 (20:12 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 15 May 2011 21:37:37 +0000 (23:37 +0200)
commitced2de564f4a434ebf3f0a94b49512835a449ad7
tree91a90ece565cd71ad5fb4ca4132894d3427ffc98tree | snapshot
parent1465ee14fa3d7c8c206f6792ebda978a0a799d15commit | diff
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 <Albert.Cohen@inria.fr>
Tested-by: Albert Cohen <Albert.Cohen@inria.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Makefile.am diff | blob | history
Domain: System / Uncategorized;