From 3fd868b46638719fd3799cbae85a6272fcee93ea Mon Sep 17 00:00:00 2001 From: Stefan Walter Date: Sun, 21 May 2006 13:27:53 +0000 Subject: Solve JDK 1.5 incompatibility. PR: 96922 Submitted by: Anton Yudin (maintainer) Approved by: arved (mentor) --- java/jakarta-commons-pool/Makefile | 3 +-- java/jakarta-commons-pool/files/patch-build.xml | 32 +++++++++++++++++++++++++ 2 files changed, 33 insertions(+), 2 deletions(-) create mode 100644 java/jakarta-commons-pool/files/patch-build.xml (limited to 'java') diff --git a/java/jakarta-commons-pool/Makefile b/java/jakarta-commons-pool/Makefile index 07868b444bfc..d7c14c04b9d3 100644 --- a/java/jakarta-commons-pool/Makefile +++ b/java/jakarta-commons-pool/Makefile @@ -7,6 +7,7 @@ PORTNAME= commons-pool PORTVERSION= 1.2 +PORTREVISION= 1 CATEGORIES= java devel MASTER_SITES= ${MASTER_SITE_APACHE_JAKARTA} MASTER_SITE_SUBDIR= ${PORTNAME:S,-,/,}/source @@ -21,8 +22,6 @@ RUN_DEPENDS= ${JAR_DEPENDS} JAR_DEPENDS= ${JAVALIBDIR}/commons-collections.jar:${PORTSDIR}/java/jakarta-commons-collections -BROKEN= Does not compile - USE_JAVA= yes JAVA_VERSION= 1.2+ diff --git a/java/jakarta-commons-pool/files/patch-build.xml b/java/jakarta-commons-pool/files/patch-build.xml new file mode 100644 index 000000000000..b9537e85e19f --- /dev/null +++ b/java/jakarta-commons-pool/files/patch-build.xml @@ -0,0 +1,32 @@ +--- build.xml.orig Tue May 16 16:41:33 2006 ++++ build.xml Tue May 16 16:42:52 2006 +@@ -93,7 +93,8 @@ + noindex="false" + nohelp="true" + nonavbar="false" +- serialwarn="false"> ++ serialwarn="false" ++ source="1.2"> + + + +@@ -107,7 +108,8 @@ + classpath="${classpath}" + debug="${javac.debug}" + deprecation="${javac.deprecation}" +- optimize="${javac.optimize}"/> ++ optimize="${javac.optimize}" ++ source="1.2"/> + + + +@@ -116,7 +118,8 @@ + srcdir="${src.test.dir}" + debug="${javac.debug}" + deprecation="${javac.deprecation}" +- optimize="${javac.optimize}"> ++ optimize="${javac.optimize}" ++ source="1.2"> + + + -- cgit v1.2.3