The "-segprog POLY rwx rwx" was the problem with 64-bit MacOS X.
On Thu, Aug 19, 2010 at 1:59 PM, David Matthews <[email protected]> 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 > _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
