diff options
Diffstat (limited to 'gnustep-libs/gnustep-back/BUILD')
-rwxr-xr-x | gnustep-libs/gnustep-back/BUILD | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gnustep-libs/gnustep-back/BUILD b/gnustep-libs/gnustep-back/BUILD new file mode 100755 index 0000000000..63b2b953be --- /dev/null +++ b/gnustep-libs/gnustep-back/BUILD @@ -0,0 +1,18 @@ +. ${TRACK_ROOT}/usr/share/GNUstep/Makefiles/GNUstep.sh +local backend opts +for backend in $GNUSTEP_BACKEND ; do +opts="--enable-server=x11 --enable-graphics=$backend --with-name=$backend" +pushd $SOURCE_DIRECTORY.$backend +OPTS="$OPTS --build=${BUILD}"; +[[ $CROSS_INSTALL == on ]] && OPTS="$OPTS --host=${HOST}"; +./configure \ + --prefix=${INSTALL_ROOT}/usr \ + --sysconfdir=${INSTALL_ROOT}/etc \ + --localstatedir=${INSTALL_ROOT}/var \ + --mandir=${INSTALL_ROOT}/usr/share/man \ + --infodir=${INSTALL_ROOT}/usr/share/info \ + $opts \ + $OPTS && +make +popd +done |