--- a/lib/scripts/polyml-platform Thu Oct 12 08:25:04 2006 +0200 +++ b/lib/scripts/polyml-platform Thu Oct 12 14:07:48 2006 +0200 @@ -44,6 +44,9 @@ Power* | power* | ppc) PLATFORM=ppc-darwin ;; + i?86) + PLATFORM=x86-darwin + ;; esac ;; Windows_NT)