-
-
Save andrewjcg/9fa8bb8a1d94aa044a56 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git BUCK BUCK | |
| index 2c6743f..c78029f 100644 | |
| --- BUCK | |
| +++ BUCK | |
| @@ -1,10 +1,22 @@ | |
| prebuilt_jar( | |
| name = 'xmlbeans', | |
| - binary_jar = ':xmlbeans_jar', | |
| + binary_jar = ':xmlbeans_fixed_jar', | |
| +) | |
| + | |
| +zip_file( | |
| + name = 'xmlbeans_fixed_jar', | |
| + srcs = [ | |
| + ':xmlbeans_jar', | |
| + ], | |
| ) | |
| remote_file( | |
| name = 'xmlbeans_jar', | |
| + # Currently, the `zip_file` step only automatically unpacks ZIP files with | |
| + # the `.src.zip` or `-sources.jar` extensions, so rename the download file | |
| + # to make this work (this could also be done with an extra `export_file` | |
| + # rule). | |
| + out = 'xmlbeans.orig-sources.jar', | |
| url = 'mvn:org.apache.xmlbeans:xmlbeans:jar:2.6.0', | |
| sha1 = '29e80d2dd51f9dcdef8f9ffaee0d4dc1c9bbfc87', | |
| ) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment