| include_defs('//bucklets/maven_jar.bucklet') |
| |
| REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL. |
| VERS = '4.5.0.201609210915-r' |
| |
| maven_jar( |
| name = 'jgit', |
| id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS, |
| bin_sha1 = '3e3d0b73dcf4ad649f37758ea8502d92f3d299de', |
| src_sha1 = 'fc352952db91a4046e4b832145eb2dc8afce8db1', |
| 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 = '6e36638888918d9941dddec7e2abe1f162cc74d9', |
| license = 'jgit', |
| repository = REPO, |
| deps = [':jgit'], |
| unsign = True, |
| exclude = [ |
| 'about.html', |
| 'plugin.properties', |
| ], |
| ) |
| |
| maven_jar( |
| name = 'ewah', |
| id = 'com.googlecode.javaewah:JavaEWAH:0.7.9', |
| sha1 = 'eceaf316a8faf0e794296ebe158ae110c7d72a5a', |
| license = 'Apache2.0', |
| ) |