Re: Keep MLton from being kicked out of Debian?

On Mon, Nov 07, 2016 at 03:58:59PM -0500, Christopher Cramer wrote:
> 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.

So far, I've found that adding the options "-cc-opt -fno-pie -link-opt
-no-pie" to the mlton command line allow the old mlton to work with the
new gcc. I'm now trying to figure out where I should stick these options
in the mlton build process. (if anyone knows, let me know!)

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