hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Bazel: expose compression_level in codeql_pack

Browse Source
This commit is contained in:
Paolo Tranquilli
2024-05-28 15:09:15 +02:00
parent 00ed00e1e5
commit 9c1efb9f0e
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
misc/bazel/pkg.bzl
View File

@@ -228,6 +228,7 @@ def codeql_pack(
zip_filename = None, zip_filename = None,
visibility = None, visibility = None,
install_dest = "extractor-pack", install_dest = "extractor-pack",
compression_level = None,
**kwargs): **kwargs):
""" """
Define a codeql pack. This macro accepts `pkg_files`, `pkg_filegroup` or their `codeql_*` counterparts as `srcs`. Define a codeql pack. This macro accepts `pkg_files`, `pkg_filegroup` or their `codeql_*` counterparts as `srcs`.
@@ -243,6 +244,9 @@ def codeql_pack(
The distinction between arch-specific and generic contents is made based on whether the paths (including possible The distinction between arch-specific and generic contents is made based on whether the paths (including possible
prefixes added by rules) contain the special `{CODEQL_PLATFORM}` placeholder, which in case it is present will also prefixes added by rules) contain the special `{CODEQL_PLATFORM}` placeholder, which in case it is present will also
be replaced by the appropriate platform (`linux64`, `win64` or `osx64`). be replaced by the appropriate platform (`linux64`, `win64` or `osx64`).
`compression_level` can be used to tweak the compression level used when creating archives. Consider that this
does not affect the contents of `zips`, only `srcs`.
""" """
internal = _make_internal(name) internal = _make_internal(name)
zip_filename = zip_filename or name zip_filename = zip_filename or name
@@ -265,6 +269,7 @@ def codeql_pack(
name = internal(kind + "-zip-base"), name = internal(kind + "-zip-base"),
srcs = [internal(kind)], srcs = [internal(kind)],
visibility = ["//visibility:private"], visibility = ["//visibility:private"],
compression_level = compression_level,
) )
_zipmerge( _zipmerge(
name = internal(kind + "-zip"), name = internal(kind + "-zip"),
@@ -282,6 +287,7 @@ def codeql_pack(
visibility = ["//visibility:private"], visibility = ["//visibility:private"],
package_dir = name, package_dir = name,
package_file_name = name + "-" + (_detect_platform() if kind == "arch" else "generic") + ".zip", package_file_name = name + "-" + (_detect_platform() if kind == "arch" else "generic") + ".zip",
compression_level = compression_level,
) )
if zips: if zips:
_imported_zips_manifest( _imported_zips_manifest(