diff options
Diffstat (limited to 'dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild')
| -rw-r--r-- | dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild b/dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild new file mode 100644 index 00000000000..5ee339561ce --- /dev/null +++ b/dev-db/virtuoso-jdbc/virtuoso-jdbc-6.1.8.ebuild @@ -0,0 +1,42 @@ +# Copyright 1999-2014 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=5 + +inherit virtuoso java-pkg-2 + +DESCRIPTION="JDBC driver for OpenLink Virtuoso Open-Source Edition" + +KEYWORDS="~amd64 ~x86" +IUSE="" + +#Force 1.7 until we decide on how to handle multiple versions at once +DEPEND=" + >=virtual/jdk-1.7.0 +" +RDEPEND=" + >=virtual/jre-1.7.0 +" + +VOS_EXTRACT=" + libsrc/JDBCDriverType4 +" + +pkg_pretend() { + java-pkg_ensure-vm-version-eq 1.7 +} +src_prepare() { + java-pkg-2_src_prepare + virtuoso_src_prepare +} + +src_configure() { + myconf+=" + --with-jdk4_1=$(java-config-2 -O) + " + + MAKEOPTS=-j1 + + virtuoso_src_configure +} |
