Interface loading and dynamic linking

Ian Lynagh igloo at
Mon Dec 23 12:04:44 UTC 2013

On Sun, Dec 22, 2013 at 06:56:11PM -0500, Ben Gamari wrote:
> Ian Lynagh <igloo at> writes:
> > On Sun, Dec 22, 2013 at 12:34:25PM -0500, Ben Gamari wrote:
> >> 
> >
> > Dynamic-by-default was a previous experiment to get GHCi to use the
> > system linker. We now use dynamic-too instead.
> >
> Causing GHCi to use the system linker is indeed my intent. Given the
> currently rather broken state of the ARM runtime linker it seems like
> the easiest way to get ARM supported as somewhat-first-class citizen is
> to use the system linker. `DYNAMIC_BY_DEFAULT` provides an easy way to
> accomplish this.

You shouldn't need dynamic-by-default. It should Just Work in HEAD, both
unregisterised and registerised.


More information about the ghc-devs mailing list