93dbaa2782
In 28694a09c9 a conflict in the merge
from stable-2.8 was not resolved properly and the API build was broken.
Add back the missing part to fix the build.
Change-Id: I2b0295212631ffad0ba4b57c77b5935b8200d384
33 lines
623 B
Python
33 lines
623 B
Python
SRC = 'src/main/java/com/google/gerrit/'
|
|
SRCS = glob([SRC + '**/*.java'])
|
|
|
|
DEPS = [
|
|
'//lib/gwt:user',
|
|
'//lib/gwt:dev',
|
|
]
|
|
|
|
java_library2(
|
|
name = 'gwtui-api',
|
|
srcs = SRCS,
|
|
resources = glob(['src/main/**/*']),
|
|
compile_deps = DEPS,
|
|
visibility = ['PUBLIC'],
|
|
)
|
|
|
|
java_library(
|
|
name = 'gwtui-api-src',
|
|
srcs = [],
|
|
resources = glob(['src/main/**/*']),
|
|
visibility = ['PUBLIC'],
|
|
)
|
|
|
|
java_doc(
|
|
name = 'gwtui-api-javadoc',
|
|
title = 'Gerrit Review GWT Extension API Documentation',
|
|
pkg = 'com.google.gerrit.plugin',
|
|
paths = ['$SRCDIR/src/main/java'],
|
|
srcs = SRCS,
|
|
deps = DEPS,
|
|
visibility = ['PUBLIC'],
|
|
)
|