On Mon, 2021-03-01 at 16:14 -0700, Karl Berry wrote: > armhf-linux: ./Build --enable-xindy CLISP=${BUILD_ROOT_DIR}/clisp/clisp-build/clisp @2021: Raspbian/Raspberry Pi OS (Debian Buster) gcc (Raspbian 8.3.0-6+rpi1) 8.3.0 //////////////// Simon