19 Aug
2010
19 Aug
'10
10:35 p.m.
The "-segprog POLY rwx rwx" was the problem with 64-bit MacOS X.
On Thu, Aug 19, 2010 at 1:59 PM, David Matthews David.Matthews@prolingua.co.uk wrote:
Matthew, That looks suspiciously like the "execute bit" problem. ?Did you include -segprot POLY rwx rwx to the linker? See the last line of (the updated) http://www.polyml.org/FAQ.html#standalone
David
Matthew Fluet wrote:
David, With that change, I was able to successfully compile MLton with Poly/ML; unfortunately, the PolyML.export-ed executable gives a "Bus error" (on MacOSX (Snow Leopard)). ?I'll see if I get a different result on Linux and if I can reduce the issue. -Matthew