ports/127938: [patch] databases/sqldeveloper require jdk15
Jose Garcia Juanino
jjuanino at gmail.com
Wed Oct 8 19:20:06 UTC 2008
The following reply was made to PR ports/127938; it has been noted by GNATS.
From: Jose Garcia Juanino <jjuanino at gmail.com>
To: bug-followup at FreeBSD.org
Cc:
Subject: Re: ports/127938: [patch] databases/sqldeveloper require jdk15
Date: Wed, 8 Oct 2008 20:45:13 +0200
--s/l3CgOIzMHHjg/5
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
El miércoles 08 de octubre a las 12:08:51 CEST, Edwin Groothuis escribió:
> Maintainer of databases/sqldeveloper,
>
> Please note that PR ports/127938 has just been submitted.
>
> If it contains a patch for an upgrade, an enhancement or a bug fix
> you agree on, reply to this email stating that you approve the patch
> and a committer will take care of it.
>
> The full text of the PR can be found at:
> http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/127938
Thanks for the PR.
I attach the complete patch.
Best Regards
--s/l3CgOIzMHHjg/5
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename="sqldevolper.txt"
diff -uNr sqldeveloper.orig/Makefile sqldeveloper/Makefile
--- sqldeveloper.orig/Makefile 2008-10-08 20:33:28.000000000 +0200
+++ sqldeveloper/Makefile 2008-10-08 20:30:29.000000000 +0200
@@ -7,6 +7,7 @@
PORTNAME= sqldeveloper
PORTVERSION= 1.5.1.54.40
+PORTREVISION= 1
DISTVERSIONSUFFIX=-no-jre
CATEGORIES= databases java
MASTER_SITES= #http://www.oracle.com/technology/software/products/sql/index.html
@@ -21,7 +22,7 @@
USE_ZIP= yes
USE_JAVA= yes
-JAVA_VERSION= 1.5
+JAVA_VERSION= 1.5+
NO_BUILD= yes
--s/l3CgOIzMHHjg/5--
More information about the freebsd-ports-bugs
mailing list