diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2016-01-07 18:10:21 +0000 |
|---|---|---|
| committer | Damien Martin-Guillerez <dmarting@google.com> | 2016-01-07 20:20:41 +0000 |
| commit | b95995bd2c33f37ce9ea257379339d35f2a63c82 (patch) | |
| tree | 25de44fd8eeb6b51ff5a794a1426519b6be947b6 /scripts/packages/BUILD | |
| parent | 006ab490e47e0861f687d71bfc9b74d7e15c468d (diff) | |
Use openjdk7 as dependency for debian package of jdk7 flavor
Fixes #752.
--
MOS_MIGRATED_REVID=111614541
Diffstat (limited to 'scripts/packages/BUILD')
| -rw-r--r-- | scripts/packages/BUILD | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/scripts/packages/BUILD b/scripts/packages/BUILD index fcc6a7dc5d..15b39c4de5 100644 --- a/scripts/packages/BUILD +++ b/scripts/packages/BUILD @@ -151,14 +151,26 @@ genrule( stamp = 1, ) +config_setting( + name = "jdk7", + values = {"define": "JAVA_VERSION=1.7"}, +) + pkg_deb( name = "bazel-debian", architecture = "amd64", built_using = "bazel (HEAD)", data = ":debian-data", - depends = [ - "openjdk-8-jdk", - "openjdk-8-source", + depends = select({ + ":jdk7": [ + "openjdk-7-jdk", + "openjdk-7-source", + ], + "//conditions:default": [ + "openjdk-8-jdk", + "openjdk-8-source", + ], + }) + [ "pkg-config", "zip", "g++", |