Marc:

The way to configure Gambit on the Raspberry Pi to get the fastest runtime is

./configure 'CC=gcc-4.8 -mcpu=cortex-a7 -mfpu=neon-vfpv4 -mfloat-abi=hard' '--enable-single-host' '--enable-shared' '--enable-multiple-versions' '--disable-gnu-gcc-no-strict-aliasing’

However, there isn’t enough memory to compile _t-univ.c with this configuration.

There are four files that aren’t used when building Gambit with the C back end, all in gsc:

_t-univ.scm _x86.scm _asm.scm _t-x86.scm

These files are part of the partial implementations of the x86 assembler back end and the “universal” back end.

I recommend that these files not be included in libgambcgsc by default. Most people don’t need them, and and they inhibit building Gambit on the Pi. I got it to build eventually by removing these files from makefile.in by hand after building Gambit first simply with

./configure --enable-single-host.

Brad