~$ svn --username guest log https://www.prismmodelchecker.org/svn/prism/prism/trunk | grep -A10 r11216

------------------------------------------------------------------------
r11216 | jklein | 2016-02-24 12:23:29 +0000 (Wed, 24 Feb 2016) | 11 lines

[lpsolve] fix compilation issue in relation to isnan [with Sascha Wunderlich, David Müller]

The compilation wrapper 'ccc' of lpsolve tries to determine
whether the isnan macro is defined. The test program calls
isnan(0), i.e., with an integer argument. On current Arch Linux,
GCC uses _builtin_isnan, which leads to an error due to the integer
argument and the 'ccc' wrapper assumes that isnan is not defined.
This leads to compilation issues later on.