blob: 20e0e0e8bb0fdfb4b3d2d7a309fcda34ecdeeff4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
package(default_visibility = ["//visibility:public"])
filegroup(
name = "launcher_windows",
srcs = select({
"//src/conditions:remote": ["//src/tools/launcher:launcher"],
"//conditions:default": ["launcher.exe"],
}),
)
filegroup(
name = "launcher",
srcs = select({
"//src/conditions:host_windows": [":launcher_windows"],
"//src/conditions:host_windows_msvc": [":launcher_windows"],
"//src/conditions:host_windows_msys": [":launcher_windows"],
"//conditions:default": [
"//src/tools/launcher:launcher",
],
}),
)
|
