[Bug 1172719] Review Request: isl - Integer point manipulation library

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=1172719



--- Comment #6 from Michael Schwendt <bugs.michael at gmx.net> ---
Ah, I missed that deprecated/int.h and val_gmp.h even include gmp.h, so then
it's okay to -lgmp.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component