package(default_visibility = ["//visibility:public"]) | |
# The JDI parts of tools.jar. | |
java_import( | |
name = "jpda-jdi", | |
jars = ["jdk8/jpda-jdi.jar"], | |
) | |
sh_binary( | |
name = "zip", | |
srcs = ["zip-wrap/zip.sh"], | |
) | |
sh_binary( | |
name = "unzip", | |
srcs = ["zip-wrap/unzip.sh"], | |
) | |
java_library( | |
name = "python", | |
exports = ["//third_party/python"], | |
) |