1dd5e500aSDavid Pursehousepackage(default_visibility = ["//visibility:public"]) 2e92a0c3aSDavid Ostrovsky 3e92a0c3aSDavid Ostrovskyjava_library( 4dd5e500aSDavid Pursehouse name = "jgit-servlet", 5*c80d8c59SDavid Pursehouse srcs = glob(["src/**/*.java"]), 6dd5e500aSDavid Pursehouse resource_strip_prefix = "org.eclipse.jgit.http.server/resources", 7dd5e500aSDavid Pursehouse resources = glob(["resources/**"]), 8dd5e500aSDavid Pursehouse deps = [ 9bc5014faSJonathan Nieder "//lib:servlet-api", 10dd5e500aSDavid Pursehouse # We want these deps to be provided_deps 11dd5e500aSDavid Pursehouse "//org.eclipse.jgit:jgit", 12e92a0c3aSDavid Ostrovsky ], 13e92a0c3aSDavid Ostrovsky) 14