include_defs('//lib/maven.defs') REPO = MAVEN_CENTRAL # Leave here even if set to MAVEN_CENTRAL. VERS = '4.1.1.201511131810-r' maven_jar( name = 'jgit', id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS, bin_sha1 = '17cf7d0cb7da8bbcc16e43f0ab5dbfc43b5cb539', src_sha1 = 'e65acfcdca36ae3cbdcbd5496648612eebe54be7', 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 = '3bbeaab1ddfd87319c4938145c9c2c276ec8de17', 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 = 'aae0cc90ab568182bdd1cb5a32bee5b44780e1a7', 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 = '63fd8d96849c7c20d5c70c91575ff8dda12718e0', 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', ) gwt_module( name = 'Edit', srcs = [':jgit_edit_src'], deps = [':edit_src'], visibility = ['PUBLIC'], ) prebuilt_jar( name = 'edit_src', binary_jar = ':jgit_edit_src', ) 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.zip', )