1754784fa6
18c4ccd2c3 changed JGit version from the 3.7.0.201502260915-r.58-g65c379e to the 3.7.1.201504261725-r. However, except for the one new commit which the 3.7.1.201504261725-r brought, this was effectively a JGit downgrade. We need to upgrade JGit to a version which contains the fix for the [1] and is a successor of the snapshot version 3.7.0.201502260915-r.58-g65c379e which was used in the 2.10.3.1. [1] https://bugs.eclipse.org/bugs/show_bug.cgi?id=465509 Change-Id: I7b5f21700c6cda20b000e1e55266015f081b66bf
84 lines
1.8 KiB
Python
84 lines
1.8 KiB
Python
include_defs('//lib/maven.defs')
|
|
|
|
REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL.
|
|
VERS = '4.0.0.201505050340-m2'
|
|
|
|
maven_jar(
|
|
name = 'jgit',
|
|
id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS,
|
|
bin_sha1 = '1cc3120d39ed2b55584e631634e65c5d2e6c1cf7',
|
|
src_sha1 = '425f578cc9d5ccb8f3b050a5ab1e2d7a0becb25d',
|
|
license = 'jgit',
|
|
repository = REPO,
|
|
unsign = True,
|
|
deps = [':ewah'],
|
|
exclude = [
|
|
'META-INF/eclipse.inf',
|
|
'about.html',
|
|
'plugin.properties',
|
|
],
|
|
)
|
|
|
|
maven_jar(
|
|
name = 'jgit-servlet',
|
|
id = 'org.eclipse.jgit:org.eclipse.jgit.http.server:' + VERS,
|
|
sha1 = '2a9f55d1d92afef795542b995db6ab261007857f',
|
|
license = 'jgit',
|
|
repository = REPO,
|
|
deps = [':jgit'],
|
|
unsign = True,
|
|
exclude = [
|
|
'about.html',
|
|
'plugin.properties',
|
|
],
|
|
)
|
|
|
|
maven_jar(
|
|
name = 'jgit-archive',
|
|
id = 'org.eclipse.jgit:org.eclipse.jgit.archive:' + VERS,
|
|
sha1 = 'ee3954753067818f8f734981a01c13ac33425f2c',
|
|
license = 'jgit',
|
|
repository = REPO,
|
|
deps = [':jgit',
|
|
'//lib/commons:compress',
|
|
'//lib:tukaani-xz',
|
|
],
|
|
unsign = True,
|
|
exclude = [
|
|
'about.html',
|
|
'plugin.properties',
|
|
],
|
|
)
|
|
|
|
maven_jar(
|
|
name = 'junit',
|
|
id = 'org.eclipse.jgit:org.eclipse.jgit.junit:' + VERS,
|
|
sha1 = '6cc19f8f0a1791e26d4225625ecba6a31d9b830e',
|
|
license = 'DO_NOT_DISTRIBUTE',
|
|
repository = REPO,
|
|
unsign = True,
|
|
deps = [':jgit'],
|
|
)
|
|
|
|
maven_jar(
|
|
name = 'ewah',
|
|
id = 'com.googlecode.javaewah:JavaEWAH:0.7.9',
|
|
sha1 = 'eceaf316a8faf0e794296ebe158ae110c7d72a5a',
|
|
license = 'Apache2.0',
|
|
)
|
|
|
|
prebuilt_jar(
|
|
name = 'Edit',
|
|
binary_jar = ':jgit_edit_src',
|
|
visibility = ['PUBLIC'],
|
|
)
|
|
|
|
genrule(
|
|
name = 'jgit_edit_src',
|
|
cmd = 'unzip -qd $TMP $(location :jgit_src) ' +
|
|
'org/eclipse/jgit/diff/Edit.java;' +
|
|
'cd $TMP;' +
|
|
'zip -Dq $OUT org/eclipse/jgit/diff/Edit.java',
|
|
out = 'edit-src.jar',
|
|
)
|