I'm no makefile expert, but after a few attempts it seems the correct way to export a new var might be:
export MONO_ENV_OPTIONS := $(MONO_ENV_OPTIONS) -O=-float32 Local build is still running but seems to be continuing now... Il giorno lun 24 mar 2025 alle ore 03:09 Debian Bug Tracking System < ow...@bugs.debian.org> ha scritto: > Thank you for the additional information you have supplied regarding > this Bug report. > > This is an automatically generated reply to let you know your message > has been received. > > Your message is being forwarded to the package maintainers and other > interested parties for their attention; they will reply in due course. > > Your message has been sent to the package maintainer(s): > Antoine Le Gonidec <deb...@dotslashplay.it> > > If you wish to submit further information on this problem, please > send it to 1098...@bugs.debian.org. > > Please do not send mail to ow...@bugs.debian.org unless you wish > to report a problem with the Bug-tracking system. > > -- > 1098958: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1098958 > Debian Bug Tracking System > Contact ow...@bugs.debian.org with problems > -- Luca Leonardo Scorcia l.scor...@gmail.com
