[gambit-list] SMP Gambit redux

The current smp branch builds and passes make check on the Raspberry Pi 3 with

17 17:36 git clone https://github.com/gambit/gambit.git 18 17:51 cd gambit 19 17:51 git checkout smp 20 17:51 ./configure 23 17:55 make -j1 current-gsc-boot 24 18:29 ./configure --enable-single-host --enable-multiple-threaded-vms 25 18:30 make from-scratch 26 20:57 make check

Afterwards, this worked:

29 21:13 ./configure 'CC=gcc -mcpu=cortex-a53 -mfpu=neon-vfpv4 -mfloat-abi=hard' --enable-single-host --enable-multiple-threaded-vms --enable-shared --enable-multiple-versions 30 21:15 make mostlyclean 31 21:15 make 32 21:34 make check

Brad