Re: Keep MLton from being kicked out of Debian?

On Mon, Nov 07, 2016 at 12:30:46PM -0800, Ian Zimmerman wrote:
> On 2016-11-07 14:24, Christopher Cramer wrote:
> 
> > I am not a Debian developer, but I do use Debian. I will try to help.
> > 
> > If I am reading the error message correctly, it does look like a
> > simple fix...
> 
> Be sure to read the whole bug thread.
> 
> It is slightly complicated by the fact that mlton is self-hosting, and
> thus has a build dependency on itself in debian.

Yes. It looks like the problem is basically that MLton requires gcc to
compile an SML program. With the new gcc (with PIE defaulted) installed,
the old mlton package fails to work at all, because it has a static
runtime compiled with the old gcc. And you need the old mlton to compile
the new mlton.

I can think of a few different ways of solving this. I guess you could
just use -fno-pie during the first stage and then finish it up and binNMU.
I will try that out.

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].


------------------------------------------------------------------------------
Developer Access Program for Intel Xeon Phi Processors
Access to Intel Xeon Phi processor-based developer platforms.
With one year of Intel Parallel Studio XE.
Training and support from Colfax.
Order your platform today. http://sdm.link/xeonphi