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