wneuper/isa: Admin/polyml/build@f024975be336

     1 #!/usr/bin/env bash

2 #

     3 # Multi-platform build script for Poly/ML

     5 THIS="$(cd "$(dirname "$0")"; pwd)"

     6 PRG="$(basename "$0")"

     9 # diagnostics

    11 function usage()

    12 {

    13   echo

    14   echo "Usage: $PRG SOURCE TARGET [OPTIONS]"

    15   echo

    16   echo "  Build Poly/ML in SOURCE directory for given platform in TARGET,"

    17   echo "  using the usual Isabelle platform identifiers."

    18   echo

    19   echo "  Additional options for ./configure may be given, e.g. --with-gmp"

    20   echo

    21   exit 1

    22 }

    24 function fail()

    25 {

    26   echo "$1" >&2

    27   exit 2

    28 }

    31 # command line args

    33 [ "$#" -eq 0 ] && usage

    34 SOURCE="$1"; shift

    36 [ "$#" -eq 0 ] && usage

    37 TARGET="$1"; shift

    39 USER_OPTIONS=("$@")

    42 # main

    44 [ -d "$SOURCE" ] || fail "Bad source directory: \"$SOURCE\""

    46 case "$TARGET" in

    47   x86-linux)

    48     OPTIONS=()

    49     ;;

    50   x86_64-linux)

    51     OPTIONS=()

    52     ;;

    53   x86-darwin)

    54     OPTIONS=(--build=i686-darwin CFLAGS='-arch i686 -O3 -I../libffi/include'

    55       CXXFLAGS='-arch i686 -O3 -I../libffi/include' CCASFLAGS='-arch i686 -O3'

    56       LDFLAGS='-segprot POLY rwx rwx')

    57     ;;

    58   x86_64-darwin)

    59    OPTIONS=(--build=x86_64-darwin CFLAGS='-arch x86_64 -O3 -I../libffi/include'

    60      CXXFLAGS='-arch x86_64 -O3 -I../libffi/include' CCASFLAGS='-arch x86_64'

    61      LDFLAGS='-segprot POLY rwx rwx')

    62     ;;

    63   x86-cygwin)

    64     OPTIONS=()

    65     ;;

    66   x86-windows)

    67     OPTIONS=()

    68     ;;

    69   x86_64-windows)

    70     OPTIONS=()

    71     ;;

    72   ppc-darwin | sparc-solaris | x86-solaris | x86-bsd)

    73     OPTIONS=()

    74     ;;

    75   *)

    76     fail "Bad platform identifier: \"$TARGET\""

    77     ;;

    78 esac

    80 (

    81   cd "$SOURCE"

    82   make distclean

    84   { ./configure --prefix="$PWD/$TARGET" "${OPTIONS[@]}" "${USER_OPTIONS[@]}" && \

    85     make compiler && \

    86     make compiler && \

    87     make install; } || fail "Build failed"

    88 )

    90 mkdir -p "$TARGET"

    91 mv "$SOURCE/$TARGET/bin/"* "$TARGET/"

    92 mv "$SOURCE/$TARGET/lib/"* "$TARGET/"

    93 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib"

    94 rm -rf "$SOURCE/$TARGET/share"

    96 if [ "$TARGET" = x86-cygwin ]; then

    97   peflags -x8192000 -z500 "$TARGET/poly.exe"

    98 fi

author	wenzelm
	Mon, 21 Jan 2013 16:33:54 +0100
changeset 52010	f024975be336
parent 48634	15936c7b2fa3
child 58300	b2c2f74d1c93
permissions	-rwxr-xr-x