[RFC PATCH 1/2] a68: add --enable-algol68-posix-prelude

[Mohammad-Reza Nabipoor]

Hi Jose.

On Sat, Oct 25, 2025 at 08:21:28PM +0200, Jose E. Marchesi wrote:
> 
> Hello Mohammad.
> Thanks for the patch!
> 
> > This configure option controls inclusion of POSIX prelude in Algol68
> > runtime (by default it is included).
> > ---
> >
> > Hi Jose.
> >
> > With --disable-algol68-posix-prelude, I can build gcc for arm-none-eabi
> > baremetal targets.
> >
> > Is this the right approach?
> > If yes, then I can update ChangeLogs and send the proper patch.
> 
> I think having the enable option is handy.
> 
> Said that, IMO it would be good to also have code in the compiler's
> configure to disable the POSIX prelude in arm-none-eabi targets (you can
> use $target for that) and likewise in the runtime's configure to disable
> the POSIX prelude if the host i arm-none-eabi targets.
> 


Make sense.  I'll do that.  Probably for all other baremetal targets too (like
riscv).


> I may also suggest to use an Automake conditional to exclude
> a68-low-prelude.cc entirely if it is not going to be included in the
> runtime.


I don't get why we may want to exclude the whole prelude?