|  | include_defs('//lib/maven.defs') | 
|  |  | 
|  | REPO = GERRIT  # Leave here even if set to MAVEN_CENTRAL. | 
|  | VERS = '3.6.2.201501210735-r.40-g23ad3a3' | 
|  |  | 
|  | maven_jar( | 
|  | name = 'jgit', | 
|  | id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS, | 
|  | bin_sha1 = '849c10fec9a9af15f57651b99a5cf6de6bd3077c', | 
|  | src_sha1 = '6fa857df4b73bf2fa222d3ad272e99e3c929453f', | 
|  | 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 = 'f4a2252fac9258479394a3be3318f88fc8a538e8', | 
|  | 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 = 'bb1cf790a4ca6760f99b1d86ad5d25857bf69dc2', | 
|  | 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 = '9b9f2da56aacde9e58f905becc4780b4d64ee79e', | 
|  | 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', | 
|  | ) |