Become a MacRumors Supporter for $50/year with no ads, ability to filter front page stories, and private forums.
Did you get it working? If I remember correctly you have to specify c++ linker flags.

-lgmp -lCGAL
 
Register on MacRumors! This sidebar will go away, and you'll see fewer ads.