mirror of
https://github.com/github/codeql.git
synced 2026-05-18 21:27:08 +02:00
cea862bfb3
This is built with copilot, via a number of iterations and run various test. But it should by no means be considered production ready. I'm looking for feeback on how to take this forward.
60 lines
1.0 KiB
Python
60 lines
1.0 KiB
Python
load("@rules_pkg//pkg:mappings.bzl", "pkg_filegroup")
|
|
load("//misc/bazel:pkg.bzl", "codeql_pack", "codeql_pkg_files")
|
|
|
|
package(default_visibility = ["//visibility:public"])
|
|
|
|
alias(
|
|
name = "dbscheme",
|
|
actual = "//php/ql/lib:dbscheme",
|
|
)
|
|
|
|
alias(
|
|
name = "dbscheme-stats",
|
|
actual = "//php/ql/lib:dbscheme-stats",
|
|
)
|
|
|
|
codeql_pkg_files(
|
|
name = "dbscheme-group",
|
|
srcs = [
|
|
":dbscheme",
|
|
":dbscheme-stats",
|
|
],
|
|
strip_prefix = None,
|
|
)
|
|
|
|
pkg_filegroup(
|
|
name = "db-files",
|
|
srcs = [
|
|
":dbscheme-group",
|
|
"//php/downgrades",
|
|
],
|
|
)
|
|
|
|
codeql_pkg_files(
|
|
name = "codeql-extractor-yml",
|
|
srcs = [
|
|
"codeql-extractor.yml",
|
|
"//:LICENSE",
|
|
],
|
|
strip_prefix = None,
|
|
)
|
|
|
|
codeql_pkg_files(
|
|
name = "extractor-arch",
|
|
exes = [
|
|
"//php/extractor",
|
|
],
|
|
prefix = "tools/{CODEQL_PLATFORM}",
|
|
)
|
|
|
|
codeql_pack(
|
|
name = "php",
|
|
srcs = [
|
|
":codeql-extractor-yml",
|
|
":dbscheme-group",
|
|
":extractor-arch",
|
|
"//php/downgrades",
|
|
"//php/tools",
|
|
],
|
|
)
|