Files
gerrit/java/org/eclipse/jgit/BUILD
David Ostrovsky 729f68c812 Dissolve gerrit-patch-jgit top-level directory
Change-Id: If6f09473e9621912e7eb769a92c17545db2716f6
2017-10-31 11:02:36 -04:00

51 lines
1.2 KiB
Python

load("//tools/bzl:genrule2.bzl", "genrule2")
load("//tools/bzl:gwt.bzl", "gwt_module")
gwt_module(
name = "client",
srcs = [
"diff/Edit_JsonSerializer.java",
"diff/ReplaceEdit.java",
],
gwt_xml = "JGit.gwt.xml",
visibility = ["//visibility:public"],
deps = [
":Edit",
"//lib:gwtjsonrpc",
"//lib/gwt:user",
],
)
gwt_module(
name = "Edit",
srcs = [":jgit_edit_src"],
visibility = ["//visibility:public"],
)
genrule2(
name = "jgit_edit_src",
outs = ["edit.srcjar"],
cmd = " && ".join([
"unzip -qd $$TMP $(location //lib/jgit/org.eclipse.jgit:jgit-source) " +
"org/eclipse/jgit/diff/Edit.java",
"cd $$TMP",
"zip -Dq $$ROOT/$@ org/eclipse/jgit/diff/Edit.java",
]),
tools = ["//lib/jgit/org.eclipse.jgit:jgit-source"],
)
java_library(
name = "server",
srcs = [
"diff/EditDeserializer.java",
"diff/ReplaceEdit.java",
"internal/storage/file/WindowCacheStatAccessor.java",
"lib/ObjectIdSerialization.java",
],
visibility = ["//visibility:public"],
deps = [
"//lib:gson",
"//lib/jgit/org.eclipse.jgit:jgit",
],
)