Re: Interface loading and dynamic linking

23 Dec 2013


      On Sun, Dec 22, 2013 at 06:56:11PM -0500, Ben Gamari wrote:
...
Ian Lynagh  writes:
...
On Sun, Dec 22, 2013 at 12:34:25PM -0500, Ben Gamari wrote:
...
DYNAMIC_BY_DEFAULT = YES
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.


Thanks
Ian