On Linux use libffi for allocating executable memory (fixed #738)

[ghc-hetmet.git] / includes / RtsExternal.h

diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h
index c6fd74a..31cae1a 100644 (file)
--- a/includes/RtsExternal.h
+++ b/includes/RtsExternal.h
@@ -111,7 +111,7 @@ void sendIOManagerEvent (HsWord32 event);
 extern void setIOManagerPipe (int fd);
 #endif
 
-extern void* allocateExec(unsigned int len);
+extern void* allocateExec(unsigned int len, void **exec_addr);
 
 // Breakpoint stuff