Subject: Re: /usr/include/machine
To: None <>
From: Izumi Tsutsui <>
List: tech-kern
Date: 07/13/2001 19:41:24
In article <> wrote:

> > 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.
Izumi Tsutsui