| include_defs('//lib/maven.defs') |
| |
| REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL. |
| VERS = '4.0.1.201506240215-r' |
| |
| maven_jar( |
| name = 'jgit', |
| id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS, |
| bin_sha1 = '3bdf2d666df1a5373f7ad291c075ab1329560afd', |
| src_sha1 = 'c8ab3011612a4680791df394e2ef1ab8debeaed6', |
| 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 = '8c73719477224802eda2a2da65bce8946d0fac6f', |
| 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 = '124e353f51adbbc1af12b143012cc1ebfa2c1012', |
| 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 = 'bddb62b8f532b6d46ac832d909fa46b73c40a126', |
| 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', |
| ) |