Re: Keep MLton from being kicked out of Debian?

On Mon, Nov 7, 2016 at 4:31 PM, Christopher Cramer
<[email protected]> wrote:
> 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 could add it to the `mlton/Makefile` where it detects compiling
with an older version:
  https://github.com/MLton/mlton/blob/master/mlton/Makefile#L40
You could add a
  FLAGS += -cc-opt -fno-pie -link-opt -fno-pie

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