Subject: Re: /usr/include/machine
To: None <email@example.com>
From: Izumi Tsutsui <firstname.lastname@example.org>
Date: 07/13/2001 19:41:24
In article <email@example.com>
> > But new arm ports are broken for one month already, and the consensus
> > to fix the problem is still not made.
> Yep it's been a month or more, but I've not seen any complaints about it.
I'm being annoyed for a month, but I cannot see where is the goal,
so I don't know what is the right fix.
> Anyway my currently list of problems is:
> gnu/lib/libstc++/config - needs makefile tweaking to install _G_config.h in
> /usr/include/arm (I'm not to sure if that's the best place as currently arm26
> is built with 2.95.x and arm32 with the intree egcs, so they may differ?)
It could be fixed by changing INCSDIR to /usr/include/machine, but
arm32_drain_writebuf.c and arm32_icache.c under lib/libarch/arm32
include machine/sysarch.h so they cannot be compiled.
Anyway, how many people know the current status of these changes?
Is there any discussion _before_ these changes were done?
> biggest pain with machine/param.h is that everything seems to have a
> dependancy on it!
IMHO, if machine/param.h can be shared,
these ports did not have to be split.