PortSystem 1.0
PortGroup java 1.0
PortGroup deprecated 1.0

# Servlet API 2.3 was developed as part of Tomcat 4.x, which is now end-of-life.
# See https://tomcat.apache.org/whichversion.html
deprecated.upstream_support no

name            servlet23-api
epoch           20061005
version         1

categories      java
license         Apache-2
maintainers     nomaintainer
platforms       darwin

description     Java Servlet API 2.3 and JSP 1.2 API.
long_description \
    Java Servlet API 2.3 and JSP API 1.2.  The Java Servlet and \
    JavaServer Pages specifications are developed by Sun under the \
    Java Community Process.  This project provides the servlet and JSP \
    APIs from Tomcat4.
homepage        https://tomcat.apache.org/

distname        servlet2.3-jsp1.2-tc4.x
master_sites    macports:jberry
checksums       md5 2a32a1c8e148b4f6533eda9c1e698e50

depends_build   bin:ant:apache-ant
depends_lib     bin:java:kaffe

use_configure   no

worksrcdir      servlet2.3-jsp1.2-tc4.x

build.cmd       ant
build.target    dist
build.args

destroot {
    xinstall -m 755 -d ${destroot}${prefix}/share/java \
        ${destroot}${prefix}/share/doc
    xinstall -m 644 \
        ${worksrcpath}/dist/lib/servlet.jar \
        ${destroot}${prefix}/share/java/servlet23-api.jar
    file copy ${worksrcpath}/dist/docs ${destroot}${prefix}/share/doc/${name}
}

livecheck.type  none