tech-pkg archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Packages without DESTDIR support

David Holland <> writes:

> On Thu, Dec 10, 2009 at 03:46:01AM +0300, Aleksej Saushev wrote:
>  > lang/twelf
>  > 
>  > Broken?
> Broken, yes. smlnj broke on time_t, the update broke twelf. Some of
> the info is in PR 40954. I'm not sure to what extent anyone uses twelf
> any more, so I suspect the right approach here is to wait a few months
> for someone to care and then remove it.

I could never build it neither before nor after update(s).
OTOH, with current SML/NJ I've managed to bootstrap HEAD MLton (see wip).


Home | Main Index | Thread Index | Old Index