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

 echo '#include<'$1'>' >seedeps_tmp.cc

 gcc -MM -I. -I.. -I../.. $2 seedeps_tmp.cc|tr ':' ' '|tr '\' ' '|tr ' ' '\n'|

 egrep -v '^$'|egrep -v '.o$'|egrep -v '.cc$'|grep -v '^'$1'$'|sort

 rm seedeps_tmp.cc