diff options
Diffstat (limited to 'gnu/gnat-gpl/BUILD')
| -rwxr-xr-x | gnu/gnat-gpl/BUILD | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gnu/gnat-gpl/BUILD b/gnu/gnat-gpl/BUILD new file mode 100755 index 0000000000..8440e4e741 --- /dev/null +++ b/gnu/gnat-gpl/BUILD @@ -0,0 +1,16 @@ +OPTS="${OPTS} --prefix=${INSTALL_ROOT}/opt/${SPELL}-${VERSION}" && +OPTS="${OPTS} --disable-libada" && +OPTS="${OPTS} --enable-threads=posix" && +OPTS="${OPTS} --enable-bootstrap" && +OPTS="${OPTS} --enable-clocale=gnu" && +if [[ $CROSS_INSTALL == on ]]; then + OPTS="--host=$HOST $OPTS" +else + OPTS="--build=$HOST $OPTS" +fi && +cd ${SOURCE_DIRECTORY}/build && +../src/configure --enable-languages="c,ada,c++" ${OPTS} && +make_single && +make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" bootstrap && +make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" -C gcc gnatlib gnattools && +make_normal |