forked from viperproject/VerifiedSCION
-
Notifications
You must be signed in to change notification settings - Fork 0
/
BUILD.bazel
102 lines (93 loc) · 2.35 KB
/
BUILD.bazel
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
load("@com_github_scionproto_scion//rules_openapi:defs.bzl", "openapi_bundle")
openapi_bundle(
name = "control",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
"//spec/control:beacons.yml",
"//spec/control:cppki.yml",
"//spec/cppki:spec.yml",
"//spec/health:spec.yml",
"//spec/segments:spec.yml",
],
entrypoint = "//spec/control:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "ca",
srcs = [
"//spec/ca:auth.yml",
"//spec/ca:health.yml",
"//spec/ca:problem.yml",
"//spec/ca:ra.yml",
],
entrypoint = "//spec/ca:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "dispatcher",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
],
entrypoint = "//spec/dispatcher:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "daemon",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
"//spec/cppki:spec.yml",
"//spec/segments:spec.yml",
],
entrypoint = "//spec/daemon:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "gateway",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
],
entrypoint = "//spec/gateway:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "router",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
"//spec/common:scion.yml",
"//spec/router:interfaces.yml",
],
entrypoint = "//spec/router:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "segments",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
],
entrypoint = "//spec/segments:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "cppki",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
],
entrypoint = "//spec/cppki:spec.yml",
visibility = ["//visibility:public"],
)
openapi_bundle(
name = "health",
srcs = [
"//spec/common:base.yml",
"//spec/common:process.yml",
],
entrypoint = "//spec/health:spec.yml",
visibility = ["//visibility:public"],
)