On Linux use libffi for allocating executable memory (fixed #738)
authorSimon Marlow <marlowsd@gmail.com>
Fri, 19 Sep 2008 13:46:02 +0000 (13:46 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 19 Sep 2008 13:46:02 +0000 (13:46 +0000)
commitc3062251034f54944061e816ed018b0b2db1b849
tree13376f17332ac575f637489ed9f6910b9d071225
parent8f52645bd99ee3e636a34826c0cbfc5939920da1
On Linux use libffi for allocating executable memory (fixed #738)
compiler/ghci/ByteCodeFFI.lhs
includes/RtsExternal.h
includes/Storage.h
rts/Adjustor.c
rts/Makefile
rts/sm/Storage.c