| include_defs('//lib/maven.defs') |
| VERS = '3.0.0.201306101825-r.41-g84d2738' |
| id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS, |
| bin_sha1 = 'fec8584e9e60ab3f43c3dd136f72662818e07766', |
| src_sha1 = '398e49984b281dbcd913b3894b8b9582c8b2cf9a', |
| id = 'org.eclipse.jgit:org.eclipse.jgit.http.server:' + VERS, |
| sha1 = 'b20c36982aa90fc08180ef4a570bf28de5e1a0ab', |
| id = 'org.eclipse.jgit:org.eclipse.jgit.junit:' + VERS, |
| sha1 = 'ee899f2d96b51e400ae84cd9405330a7e8ce1cb9', |
| license = 'DO_NOT_DISTRIBUTE', |
| id = 'com.googlecode.javaewah:JavaEWAH:0.5.6', |
| sha1 = '1207c0fc8552d4f5f574b50f29321d923521128e', |
| binary_jar = genfile('edit-src.jar'), |
| deps = [':jgit_edit_src'], |
| cmd = 'unzip -qd $TMP $SRCS org/eclipse/jgit/diff/Edit.java;' + |
| 'zip -Dq $OUT org/eclipse/jgit/diff/Edit.java', |
| srcs = [genfile('jgit/org.eclipse.jgit-%s-src.jar' % VERS)], |