--- hol-kananaskis-8-orig/tools-poly/configure.sml	2012-10-11 10:16:12.000000000 +1100
+++ hol-kananaskis-8/tools-poly/configure.sml	2012-12-11 21:32:43.458338858 +1100
@@ -55,14 +55,7 @@
 val machine_env = Posix.ProcEnv.uname()
 val sysname = assoc "sysname" machine_env
 in
-val machine_flags = if sysname = "Darwin" (* Mac OS X *)
-                    then (if PolyML.Compiler.compilerVersionNumber >= 550
-                             then ["-Wl,-no_pie"]
-                          else ["-segprot", "POLY", "rwx", "rwx"]) @
-                           (if PolyML.architecture() = "I386"
-                            then ["-arch", "i386"]
-                            else [])
-                    else []
+val machine_flags = []
 end;
 
 fun compile systeml exe obj =