# HG changeset patch
# User wenzelm
# Date 1478960672 -3600
# Node ID 365021be3c5bc88363cdadfc3ce4bbe570083680
# Parent  271e98c1fa40fc3e1c80d7973759fcee14bcc45b
clarified setup: avoid alternative C compiler tools, e.g. from Homebrew or MacPorts;

diff -r 271e98c1fa40 -r 365021be3c5b src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Sat Nov 12 12:06:42 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Sat Nov 12 15:24:32 2016 +0100
@@ -28,13 +28,15 @@
         options =
           List("--build=i686-darwin", "CFLAGS=-arch i686 -O3 -I../libffi/include",
             "CXXFLAGS=-arch i686 -O3 -I../libffi/include", "CCASFLAGS=-arch i686 -O3",
-            "LDFLAGS=-segprot POLY rwx rwx")),
+            "LDFLAGS=-segprot POLY rwx rwx"),
+        setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
     "x86_64-darwin" ->
       Platform_Info(
         options =
           List("--build=x86_64-darwin", "CFLAGS=-arch x86_64 -O3 -I../libffi/include",
             "CXXFLAGS=-arch x86_64 -O3 -I../libffi/include", "CCASFLAGS=-arch x86_64",
-            "LDFLAGS=-segprot POLY rwx rwx")),
+            "LDFLAGS=-segprot POLY rwx rwx"),
+        setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
     "x86-windows" ->
       Platform_Info(
         options =