src/Pure/Admin/build_polyml.scala
changeset 67589 085f5c2e11f7
parent 67587 5fcd6aad8e6b
child 67592 66253039d5ca
equal deleted inserted replaced
67588:f3a68e350ab6 67589:085f5c2e11f7
    30     "x86-darwin" ->
    30     "x86-darwin" ->
    31       Platform_Info(
    31       Platform_Info(
    32         options =
    32         options =
    33           List("--build=i686-darwin", "CFLAGS=-arch i686 -O3 -I../libffi/include",
    33           List("--build=i686-darwin", "CFLAGS=-arch i686 -O3 -I../libffi/include",
    34             "CXXFLAGS=-arch i686 -O3 -I../libffi/include", "CCASFLAGS=-arch i686 -O3",
    34             "CXXFLAGS=-arch i686 -O3 -I../libffi/include", "CCASFLAGS=-arch i686 -O3",
    35             "LDFLAGS=-segprot POLY rwx rwx"),
    35             "LDFLAGS=-segprot POLY rwx rwx -L/usr/local/lib32"),
    36         setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
    36         setup = "PATH=/usr/bin:/bin:/usr/sbin:/sbin"),
    37     "x86_64-darwin" ->
    37     "x86_64-darwin" ->
    38       Platform_Info(
    38       Platform_Info(
    39         options =
    39         options =
    40           List("--build=x86_64-darwin", "CFLAGS=-arch x86_64 -O3 -I../libffi/include",
    40           List("--build=x86_64-darwin", "CFLAGS=-arch x86_64 -O3 -I../libffi/include",