ae599f57ac
Since [1, 2] JGit provides a public ObjectIdSerializer class. Remove the ObjectIdSerialization class and use the new API. [1] https://git.eclipse.org/r/#/c/117831/ [2] https://git.eclipse.org/r/#/c/119456/ Change-Id: Ie2ea535d5b6e190159dffeb98b63f1000c97658a
49 lines
1.1 KiB
Python
49 lines
1.1 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",
|
|
],
|
|
visibility = ["//visibility:public"],
|
|
deps = [
|
|
"//lib:gson",
|
|
"//lib/jgit/org.eclipse.jgit:jgit",
|
|
],
|
|
)
|