# 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 =