Admin/polyml/build
changeset 38585 62b414d8051c
parent 38472 3c5716b2e7b6
child 39620 ff694044a55b
equal deleted inserted replaced
38561:d2a8087effc6 38585:62b414d8051c
    50   x86_64-linux)
    50   x86_64-linux)
    51     OPTIONS=()
    51     OPTIONS=()
    52     ;;
    52     ;;
    53   x86-darwin)
    53   x86-darwin)
    54     OPTIONS=(--build=i686-darwin CFLAGS='-arch i686 -O3'
    54     OPTIONS=(--build=i686-darwin CFLAGS='-arch i686 -O3'
    55       CXXFLAGS='-arch i686 -O3' CCASFLAGS='-arch i686 -O3')
    55       CXXFLAGS='-arch i686 -O3' CCASFLAGS='-arch i686 -O3'
       
    56       LDFLAGS='-segprot POLY rwx rwx')
    56     ;;
    57     ;;
    57   x86_64-darwin)
    58   x86_64-darwin)
    58     OPTIONS=(--build=x86_64-darwin CFLAGS='-arch x86_64 -O3'
    59     OPTIONS=(--build=x86_64-darwin CFLAGS='-arch x86_64 -O3'
    59       CXXFLAGS='-arch x86_64 -O3' CCASFLAGS='-arch x86_64')
    60       CXXFLAGS='-arch x86_64 -O3' CCASFLAGS='-arch x86_64'
       
    61       LDFLAGS='-segprot POLY rwx rwx')
    60     ;;
    62     ;;
    61   x86-cygwin)
    63   x86-cygwin)
    62     OPTIONS=()
    64     OPTIONS=()
    63     ;;
    65     ;;
    64   ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)
    66   ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)