Added the function isFinite(), and replaced the calls to finite() with it.
This was necessary because finite() is not a standard function. Neither can
we use its standard counterpart isfinite(), because it was introduced only
in C99, and therefore it is not supplied by all C++ implementations.

#!/bin/bash

make VERSION=r`svn info|grep 'Revision:'|cut -d ' ' -f 2` $*