1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
include_defs('//lib/maven.defs')
REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL.
VERS = '4.5.5.201812240535-r'
maven_jar(
name = 'jgit',
id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS,
bin_sha1 = '1dac8dd7deb4ec72939fe30cd6fd57c22fd4a403',
src_sha1 = '6c5fe5a2bd6b12571d15984916463f2f28223a93',
license = 'jgit',
unsign = True,
deps = [':ewah'],
repository = REPO,
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 = '6498fa4f4bd5db11d3069952540b68a9aef024c2',
license = 'jgit',
deps = [':jgit'],
repository = REPO,
unsign = True,
exclude = [
'about.html',
'plugin.properties',
],
)
maven_jar(
name = 'jgit-archive',
id = 'org.eclipse.jgit:org.eclipse.jgit.archive:' + VERS,
sha1 = 'd64327d788ae43d79eb4e42d2432646c7b485789',
license = 'jgit',
deps = [':jgit',
'//lib/commons:compress',
'//lib:tukaani-xz',
],
repository = REPO,
unsign = True,
exclude = [
'about.html',
'plugin.properties',
],
)
maven_jar(
name = 'junit',
id = 'org.eclipse.jgit:org.eclipse.jgit.junit:' + VERS,
sha1 = '50c36e367e7df961c1acc9308b7d52ea21a73d91',
license = 'DO_NOT_DISTRIBUTE',
unsign = True,
deps = [':jgit'],
repository = REPO,
)
maven_jar(
name = 'ewah',
id = 'com.googlecode.javaewah:JavaEWAH:0.7.9',
sha1 = 'eceaf316a8faf0e794296ebe158ae110c7d72a5a',
license = 'Apache2.0',
)
prebuilt_jar(
name = 'Edit',
binary_jar = genfile('edit-src.jar'),
deps = [':jgit_edit_src'],
visibility = ['PUBLIC'],
)
genrule(
name = 'jgit_edit_src',
cmd = 'unzip -qd $TMP $SRCS org/eclipse/jgit/diff/Edit.java;' +
'cd $TMP;' +
'zip -Dq $OUT org/eclipse/jgit/diff/Edit.java',
srcs = [genfile('jgit/org.eclipse.jgit-%s-src.jar' % VERS)],
out = 'edit-src.jar',
deps = [':jgit_src']
)
|
