Marc:

Have you ever managed to build Gambit configured with

./configure --enable-coverage

??? I killed my attempt when cc1 for lib/_io.c got up to 25GB RAM and most of the rest of my system was swapped out. (This is on a Ubuntu 14.10 system with the built-in gcc-4.9.1.)

Also, please move gsc/_t-univ.c to the beginning of the list of source files in gsc/makefile; it's by now the biggest (by far) source file in the gsc directory.

Brad