chapel-lang/chapel — pull request #800 by thomasvandoren (2014-11-11 05:53:23+00:00)
Title: Fix gmp build for 32bit ubuntu.

Need to set ABI=32 when calling ./configure, at least for 32bit Ubuntu 14.04 desktop.