GCJ and $PREFIX/include revisited

[Gabriel Dos Reis]

Tom Tromey <tromey@redhat.com> writes:

| >>>>> "Gerald" == Gerald Pfeifer <gerald@pfeifer.com> writes:
| 
| Gerald> I know that this is an old one, and indeed the situation has
| Gerald> improved quite a bit, but still there seems work to do:
| Gerald> [ installed ffi, gcj headers ]
| 
| Gerald> The c++ headers are now nicely versioned, in c++/3.4/, but the java
| Gerald> headers still are put directly into $PREFIX.  How about doing something
| Gerald> like java/3.4 or gcj/3.4 in parallel to c++?
| 
| Gerald> (This is PR7305, and it would be really nice to fix this for
| Gerald> GCC 3.4.  in fact, it is, somehow, a regression against
| Gerald> earlier versions of GCC.)
| 
| I set target-milestone=3.4 for it.  (I haven't had much time for 3.4
| bug fixes recently, but at least this way we won't forget it.)
| 
| We can easily install the headers wherever we like.  However, we'd
| still like g++ to search the gcj headers by default.  So that
| presumably means a patch to the standard include directories.

I've yet to see a patch before commenting but I'm concerned that such
a modification of include directory would have negative impacts on C++
programs that do not use Java...

-- Gaby