make install; where do .di files go?

[H. S. Teoh]

On Tue, Oct 16, 2012 at 04:37:32PM -0400, Nick Sabalausky wrote:
> On Tue, 16 Oct 2012 17:48:54 +0200 Jordi Sayol <g.sayol at yahoo.es>
> wrote:
> 
> > Al 16/10/12 17:17, En/na Manu ha escrit:
[...]
> > > Can DMD just be fixed to include [local/]/include/d in it's
> > > default search paths? I presume GDC and LDC already look there?
> > 
> > Linux dmd will not include /usr/include/d path by default to avoid
> > conflicts with ldc1 (tango) "object.di" incompatibility, and I
> > recommend you to not use this path for that reason.
> > 
> 
> Then we can use '/usr/include/d2'. Problem solved ;)

I propose /usr/include/d/${version}/. It will make it possible for
multiple versions of dmd to coexist, as well as eliminate version
incompatibility problems (or at least make them very unlikely).

Mixing everything in /usr/include/d (or /usr/include/d2) with the fact
that dmd releases have been incompatible with older druntime/phobos is
just asking for trouble.


T

-- 
People say I'm indecisive, but I'm not sure about that. -- YHL, CONLANG