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