063bdc632d
Add support for .js based plugins, custom plugin_name to prevent
conflicts with server-side plugins with the same name.
Here's an example:
https://chromium-review.googlesource.com/c/infra/gerrit-plugins/landingwidget/+/1295049
So what we want to achieve is to have:
gerrit_plugin(
name = "landingwidget",
[...]
and
polygerrit_plugin(
name = "landingwidget_ui",
plugin_name = "landingwidget",
[...]
and produce the following final artifacts:
landingwidget.jar
landingwidget.js
Change-Id: Ic9c68809cbaaf4650301d98e56d7c1c76e008251
(cherry picked from commit
|
||
---|---|---|
.. | ||
asciidoc.bzl | ||
BUILD | ||
classpath.bzl | ||
genrule2.bzl | ||
gwt.bzl | ||
java.bzl | ||
javadoc.bzl | ||
js.bzl | ||
junit.bzl | ||
license-map.py | ||
license.bzl | ||
maven_jar.bzl | ||
maven.bzl | ||
pkg_war.bzl | ||
plugin.bzl | ||
plugins.bzl | ||
test_empty.sh | ||
test_license.sh |