| include_defs('//bucklets/gerrit_plugin.bucklet') |
| |
| MODULE = "com.googlesource.gerrit.plugins.examples.wuichangescreenheader.HelloForm" |
| |
| gerrit_plugin( |
| name = 'example-wuiChangeScreenHeader', |
| srcs = glob(['src/main/java/**/*.java']), |
| resources = glob(['src/main/**/*']), |
| gwt_module = MODULE, |
| manifest_entries = [ |
| 'Gerrit-PluginName: example-wuiChangeScreenHeader', |
| 'Gerrit-Module: com.googlesource.gerrit.plugins.examples.wuichangescreenheader.Module', |
| 'Implementation-Title: Example Change Screen Header Extension', |
| 'Implementation-URL: https://gerrit-review.googlesource.com/#/admin/projects/plugins/examples', |
| ], |
| ) |
| |
| java_library( |
| name = 'classpath', |
| deps = [':example-wuiChangeScreenHeader__plugin'], |
| ) |