mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-10-16 12:19:08 -07:00
23 lines
507 B
Bash
23 lines
507 B
Bash
# Copyright 1999-2017 Gentoo Foundation
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=4
|
|
|
|
inherit java-virtuals-2
|
|
|
|
DESCRIPTION="Virtual for servlet api"
|
|
HOMEPAGE="https://jcp.org/en/jsr/detail?id=340"
|
|
SRC_URI=""
|
|
|
|
LICENSE="public-domain"
|
|
SLOT="${PV}"
|
|
KEYWORDS="~amd64 ppc64 ~x86 ~amd64-fbsd ~x86-fbsd"
|
|
IUSE=""
|
|
|
|
RDEPEND="|| (
|
|
dev-java/tomcat-servlet-api:${SLOT}
|
|
dev-java/resin-servlet-api:${SLOT}
|
|
)"
|
|
|
|
JAVA_VIRTUAL_PROVIDES="tomcat-servlet-api-${SLOT} resin-servlet-api-${SLOT}"
|