9e5e5948e7
respin due to a problem that does not concern us
30 lines
704 B
Plaintext
30 lines
704 B
Plaintext
$OpenBSD: patch-configure,v 1.5 2009/02/16 00:42:53 ajacoutot Exp $
|
|
|
|
Force disable Java support. Configure script is broken and doesn't
|
|
correctly disable it.
|
|
|
|
--- configure.orig Sun Feb 15 18:43:46 2009
|
|
+++ configure Mon Feb 16 01:38:37 2009
|
|
@@ -21256,7 +21256,7 @@ fi
|
|
|
|
# Java support
|
|
|
|
-
|
|
+if false; then # skip Java configure part, it's broken.
|
|
# Check whether --with-java_home was given.
|
|
if test "${with_java_home+set}" = set; then
|
|
withval=$with_java_home; if test "$withval" = "no" ; then
|
|
@@ -21729,8 +21729,11 @@ else
|
|
BUILD_JAVA_PACKAGE_FALSE=
|
|
fi
|
|
|
|
+fi # skip java
|
|
|
|
-
|
|
+JAVA_SUPPORT="false"
|
|
+BUILD_JAVA_PACKAGE_TRUE='#'
|
|
+BUILD_JAVA_PACKAGE_FALSE=
|
|
|
|
# GNOME Speech Java Package location
|
|
|