David Pursehouse c7df2fe330 Upgrade JGit to version v4.4.1.201607150455-r
Change-Id: Ic0f0741f9bed06815c2681943b461ce1a71c363b
2016-07-20 17:31:01 +09:00

26 lines
591 B
Python

include_defs('//lib/maven.defs')
include_defs('//lib/JGIT_VERSION')
maven_jar(
name = 'jgit',
id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS,
bin_sha1 = '63998ced66e425d9e8bcd0c59f710c98f0c021ff',
src_sha1 = '34a4358ede1c8dde5f4a5f10a3c9e6f304f6facc',
license = 'jgit',
repository = REPO,
unsign = True,
deps = [':ewah'],
exclude = [
'META-INF/eclipse.inf',
'about.html',
'plugin.properties',
],
)
maven_jar(
name = 'ewah',
id = 'com.googlecode.javaewah:JavaEWAH:0.7.9',
sha1 = 'eceaf316a8faf0e794296ebe158ae110c7d72a5a',
license = 'Apache2.0',
)