org.eclipse.jgit.http.server/BUILD


1
2
3
4
5
6
7
8
9
10
11
12
13

package(default_visibility = ["//visibility:public"])

java_library(
    name = "jgit-servlet",
    srcs = glob(["src/**"]),
    resource_strip_prefix = "org.eclipse.jgit.http.server/resources",
    resources = glob(["resources/**"]),
    deps = [
        "//lib:servlet-api",
        # We want these deps to be provided_deps
        "//org.eclipse.jgit:jgit",
    ],
)