diff options
author | Yuri Dario <ydario@apache.org> | 2012-02-16 14:44:11 +0000 |
---|---|---|
committer | Yuri Dario <ydario@apache.org> | 2012-02-16 14:44:11 +0000 |
commit | 0b19c4bf0a16891e3bcbc22847f02149df336664 (patch) | |
tree | c5ea70f48c1f38290e4e133627556a3132e8c177 /configure.cmd | |
parent | df165f3a55be1c59dbec0fde3a5fe8185c88c6ac (diff) |
i118923 - OS/2 port: updates for configuration system.
Diffstat (limited to 'configure.cmd')
-rwxr-xr-x | configure.cmd | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/configure.cmd b/configure.cmd index aff7e810b520..57118cb366c1 100755 --- a/configure.cmd +++ b/configure.cmd @@ -1,7 +1,13 @@ @echo off setlocal -SET MY_ANT_HOME=e:/java150/apache-ant-1.7.0 -SET JAVA_HOME=e:\java150 +SET JAVA_HOME=d:\os2\java160 +SET MY_ANT_HOME=d:/os2/java160/apache-ant-1.7.0 SET PATH=%JAVA_HOME%\bin;%PATH%;%MY_ANT_HOME%\bin; -sh -c "configure --with-system-openssl --with-system-icu --with-system-libxml --with-system-libxslt --disable-werror --with-use-shell=bash --disable-mozilla --disable-epm --disable-odk --disable-qadevooo --with-x=no --disable-fontconfig --disable-gnome-vfs --disable-gtk --with-java=yes --disable-gcjaot --without-nas --without-fonts --with-ant-home=%MY_ANT_HOME%" | tee configure.log +rem set grep=grep.exe + +set config_shell=sh +set perl_sh_dir=/usr/bin + +rem --with-system-icu --disable-epm +sh ./configure --disable-binfilter --with-system-zlib --with-system-jpeg --without-stlport --with-system-icu --with-system-curl --with-system-python --with-system-openssl --with-system-libxml --with-system-libxslt --disable-werror --disable-mozilla --disable-odk --with-x=no --disable-fontconfig --disable-gnome-vfs --disable-gtk --with-java=yes --disable-gcjaot --without-fonts --with-ant-home=%MY_ANT_HOME% --without-junit | tee configure.log endlocal |