e91d5828ba
JGit 5.3.7.202002110540-r adds - new WindowCache metrics - and enables using strong references to reference cache pages in the WindowCache. Set core.packedGitUseStrongRefs = true to enable using strong references to reference packfile pages cached in the WindowCache. If this option is set Java gc can no longer flush the WindowCache to free memory if the used heap comes close to the maximum heap size. On the other hand this provides more predictable performance. Documentation of core.packedGitUseStrongRefs is added in I895369a85, which will reach stable-3.0 by merge later. Change-Id: I8c080a16e25678dc6aeec9c21a6029965fb1ac5b
76 lines
2.3 KiB
Python
76 lines
2.3 KiB
Python
load("//tools/bzl:maven_jar.bzl", "MAVEN_CENTRAL", "maven_jar")
|
|
|
|
_JGIT_VERS = "5.3.7.202002110540-r"
|
|
|
|
_DOC_VERS = _JGIT_VERS # Set to _JGIT_VERS unless using a snapshot
|
|
|
|
JGIT_DOC_URL = "https://download.eclipse.org/jgit/site/" + _DOC_VERS + "/apidocs"
|
|
|
|
_JGIT_REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL.
|
|
|
|
# set this to use a local version.
|
|
# "/home/<user>/projects/jgit"
|
|
LOCAL_JGIT_REPO = ""
|
|
|
|
def jgit_repos():
|
|
if LOCAL_JGIT_REPO:
|
|
native.local_repository(
|
|
name = "jgit",
|
|
path = LOCAL_JGIT_REPO,
|
|
)
|
|
jgit_maven_repos_dev()
|
|
else:
|
|
jgit_maven_repos()
|
|
|
|
def jgit_maven_repos_dev():
|
|
# Transitive dependencies from JGit's WORKSPACE.
|
|
maven_jar(
|
|
name = "hamcrest-library",
|
|
artifact = "org.hamcrest:hamcrest-library:1.3",
|
|
sha1 = "4785a3c21320980282f9f33d0d1264a69040538f",
|
|
)
|
|
maven_jar(
|
|
name = "jzlib",
|
|
artifact = "com.jcraft:jzlib:1.1.1",
|
|
sha1 = "a1551373315ffc2f96130a0e5704f74e151777ba",
|
|
)
|
|
|
|
def jgit_maven_repos():
|
|
maven_jar(
|
|
name = "jgit-lib",
|
|
artifact = "org.eclipse.jgit:org.eclipse.jgit:" + _JGIT_VERS,
|
|
repository = _JGIT_REPO,
|
|
sha1 = "b1714d4917750d6fad0d19d3b0e258b373db819a",
|
|
)
|
|
maven_jar(
|
|
name = "jgit-servlet",
|
|
artifact = "org.eclipse.jgit:org.eclipse.jgit.http.server:" + _JGIT_VERS,
|
|
repository = _JGIT_REPO,
|
|
sha1 = "cf61e6e00a758a6f33995e53883aede76d3b2400",
|
|
)
|
|
maven_jar(
|
|
name = "jgit-archive",
|
|
artifact = "org.eclipse.jgit:org.eclipse.jgit.archive:" + _JGIT_VERS,
|
|
repository = _JGIT_REPO,
|
|
sha1 = "3c0b259040d3bc3a9e884a301055cf4f2e1bb1e2",
|
|
)
|
|
maven_jar(
|
|
name = "jgit-junit",
|
|
artifact = "org.eclipse.jgit:org.eclipse.jgit.junit:" + _JGIT_VERS,
|
|
repository = _JGIT_REPO,
|
|
sha1 = "f78409fb808c5a108c629ec3cba74cc6c14ebff2",
|
|
)
|
|
|
|
def jgit_dep(name):
|
|
mapping = {
|
|
"@jgit-archive//jar": "@jgit//org.eclipse.jgit.archive:jgit-archive",
|
|
"@jgit-junit//jar": "@jgit//org.eclipse.jgit.junit:junit",
|
|
"@jgit-lib//jar": "@jgit//org.eclipse.jgit:jgit",
|
|
"@jgit-servlet//jar": "@jgit//org.eclipse.jgit.http.server:jgit-servlet",
|
|
}
|
|
|
|
if LOCAL_JGIT_REPO:
|
|
return mapping[name]
|
|
else:
|
|
return name
|