diff options
Diffstat (limited to 'gnu/ghdl/BUILD')
-rwxr-xr-x | gnu/ghdl/BUILD | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gnu/ghdl/BUILD b/gnu/ghdl/BUILD new file mode 100755 index 0000000000..5447b81125 --- /dev/null +++ b/gnu/ghdl/BUILD @@ -0,0 +1,15 @@ +OPTS="${OPTS} --prefix=${INSTALL_ROOT}/opt/${SPELL}-${VERSION}" && +OPTS="${OPTS} --disable-libada" && +OPTS="${OPTS} --enable-threads=posix" && +OPTS="${OPTS} --disable-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="vhdl" ${OPTS} && +make_single && +make CFLAGS="$CFLAGS" BOOT_CFLAGS="$CFLAGS" LDFLAGS="$LDFLAGS" && +make_normal |