make install; where do .di files go?

[Jacob Carlborg]

On 2012-10-16 23:00, H. S. Teoh wrote:

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

Putting Phobos and druntime libraries and import files in these 
locations would be a bad idea, in my opinion.

-- 
/Jacob Carlborg