diff options
Diffstat (limited to 'bin/setup.in')
| -rwxr-xr-x | bin/setup.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/setup.in b/bin/setup.in index 331eda47b..dcb194f43 100755 --- a/bin/setup.in +++ b/bin/setup.in @@ -129,6 +129,7 @@ CONFIGURE_OPTIONS="$CONFIGURE_OPTIONS $OOO_WIDGET_FLAGS" ENABLE_BONOBO=@ENABLE_BONOBO@ ENABLE_JAVA=@ENABLE_JAVA@ JDK_HOME=@JDK_HOME@ +ANT_HOME=@ANT_HOME@ # Misc. internal TOOLSDIR='@TOOLSDIR@' OOBUILDDIR='@OOBUILDDIR@' @@ -168,6 +169,10 @@ TCSH=/bin/tcsh # setup paths PATH="$BUILDDIR/bin:$PATH:$TOOLSDIR/bin" if test "z$ENABLE_JAVA" = "zyes"; then + if test "z$ANT_HOME" != "z"; then + CONFIGURE_OPTIONS="$CONFIGURE_OPTIONS --with-ant-home=$ANT_HOME" + PATH="$ANT_HOME:$PATH" + fi if test "z$JDK_HOME" != "z"; then CONFIGURE_OPTIONS="$CONFIGURE_OPTIONS --with-jdk-home=$JDK_HOME" PATH="$JDK_HOME:$PATH" |