Re: Smal patch for the new Debian 12.1 version of RaspberryPI OS.

Thank you.

I still have a Raspberry Pi 3 and haven’t updated it to the latest available Raspberry Pi OS. I’m not sure that the model 3 is even supported, to be honest.

Anyway, including -mfpu=vfp doesn’t seem to hurt anything when using the toolchain included with the older (Debian buster based) system, so I applied your fix.

https://github.com/Clozure/ccl/issues/463



> On Oct 22, 2023, at 5:55 AM, Bruce O'Neel <[email protected]> wrote:
> 
> 
> Hi,
> 
> There is a tiny patch needed for the ARM32 version of RapsberryPI OS based on Debian 12.1.
> 
> -mfpu=vfp
> 
> needs to be added to the CC rule.
> 
> cheers
> 
> bruce
> 
> diff --git a/lisp-kernel/linuxarm/Makefile b/lisp-kernel/linuxarm/Makefile
> index f92ebd09..40b9aaf7 100644
> --- a/lisp-kernel/linuxarm/Makefile
> +++ b/lisp-kernel/linuxarm/Makefile
> @@ -62,7 +62,7 @@ A32 = $(shell ($(AS) --help -v 2>&1 | grep -q -e "-a32") && /bin/echo "-a32")
> .s.o:
>         $(M4) $(M4FLAGS) -I../ $< | $(AS) $(A32) $(ASFLAGS) -o $@
> .c.o:
> -       $(CC) -include ../$(PLATFORM_H) -c $< $(CDEFINES) $(CDEBUG) $(COPT) -marm -march=armv7-a $(FLOAT_ABI_OPTION) $(WFORMAT)  -o $@
> +       $(CC) -include ../$(PLATFORM_H) -c $< $(CDEFINES) $(CDEBUG) $(COPT) -marm -march=armv7-a -mfpu=vfp $(FLOAT_ABI_OPTION) $(WFORMAT)  -o $@
> 
> SPOBJ = pad.o  arm-spentry.o
> ASMOBJ = arm-asmutils.o imports.o
> 
>