HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | RunningOnDarwin |
| 2 | =============== | |
| 3 | ||
| 4 | MLton runs fine on Darwin (and on Mac OS X). | |
| 5 | ||
| 6 | == Notes == | |
| 7 | ||
| 8 | * MLton requires the <:GnuMP:> library, which is available via | |
| 9 | http://www.finkproject.org[Fink], http://www.macports.com[MacPorts], | |
| 10 | http://mxcl.github.io/homebrew/[Homebrew]. | |
| 11 | ||
| 12 | * For Intel-based Macs, MLton targets the <:RunningOnAMD64:AMD64 | |
| 13 | architecture> on Darwin 10 (Mac OS X Snow Leopard) and higher and | |
| 14 | targets the <:RunningOnX86:x86 architecture> on Darwin 8 (Mac OS X | |
| 15 | Tiger) and Darwin 9 (Mac OS X Leopard). | |
| 16 | ||
| 17 | == Known issues == | |
| 18 | ||
| 19 | * Executables that save and load worlds on Darwin 11 (Mac OS X Lion) | |
| 20 | and higher should be compiled with `-link-opt -fno-PIE` ; see | |
| 21 | <:MLtonWorld:> for more details. | |
| 22 | ||
| 23 | * <:ProfilingTime:> may give inaccurate results on multi-processor | |
| 24 | machines. The `SIGPROF` signal, used to sample the profiled program, | |
| 25 | is supposed to be delivered 100 times a second (i.e., at 10000us | |
| 26 | intervals), but there can be delays of over 1 minute between the | |
| 27 | delivery of consecutive `SIGPROF` signals. A more complete | |
| 28 | description may be found | |
| 29 | http://lists.apple.com/archives/Unix-porting/2007/Aug/msg00000.html[here] | |
| 30 | and | |
| 31 | http://lists.apple.com/archives/Darwin-dev/2007/Aug/msg00045.html[here]. | |
| 32 | ||
| 33 | == Also see == | |
| 34 | ||
| 35 | * <:RunningOnAMD64:> | |
| 36 | * <:RunningOnPowerPC:> | |
| 37 | * <:RunningOnX86:> |