forked from mirage/mirage-tcpip
-
Notifications
You must be signed in to change notification settings - Fork 0
/
_oasis
191 lines (171 loc) · 6.24 KB
/
_oasis
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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
OASISFormat: 0.4
Name: tcpip
Version: 2.8.0
Synopsis: Implementations for network-related module types from MirageOS.
Authors: Anil Madhavapeddy, Balraj Singh, Richard Mortier,
Nicolas Ojeda Bar, Thomas Gazagnaire, Vincent Bernardoff,
Magnus Skjegstad, Mindy Preston, Thomas Leonard
License: ISC
Plugins: META (0.4), DevFiles (0.4)
BuildTools: ocamlbuild
PostConfCommand: ocaml postconf.ml
Flag xen
Description: Build Xen support
Default: false
Library tcpip
CompiledObject: best
Path: lib
Findlibname: tcpip
Modules: Tcpip_checksum
CSources: checksum_stubs.c
CCOpt: -O2 -fno-stack-protector
BuildDepends: mirage-types (>= 2.8.0),ipaddr,cstruct (>= 1.9.0)
XMETAExtraLines: xen_linkopts = "-ltcpip_xen_stubs"
Library tcpip_xen
Build$: flag(xen)
CompiledObject: best
Path: lib
Findlibparent: tcpip
Findlibname: xen
CSources: checksum_stubs_xen.c
CCOpt: -O2 $XEN_CFLAGS
Library ethif
CompiledObject: best
Path: lib/ethif
Findlibparent: tcpip
Findlibname: ethif
Modules: Ethif, Ethif_wire, Ethif_packet
BuildDepends: logs,mirage-types,ipaddr,cstruct,lwt,mirage-profile,result,rresult
Library arpv4
CompiledObject: best
Path: lib/arpv4
Findlibparent: tcpip
Findlibname: arpv4
Modules: Arpv4, Arpv4_wire, Arpv4_packet
BuildDepends: mirage-types,logs,ipaddr,cstruct,cstruct.ppx,lwt,
result,rresult,tcpip.ethif, duration
Library ipv4
CompiledObject: best
Path: lib/ipv4
Findlibparent: tcpip
Findlibname: ipv4
Modules: Ipv4, Ipv4_wire, Ipv4_packet
BuildDepends: logs,io-page,mirage-types,ipaddr,cstruct.ppx,lwt,result,rresult,
tcpip,tcpip.ethif
Library ipv6
CompiledObject: best
Path: lib/ipv6
Findlibparent: tcpip
Findlibname: ipv6
Modules: Ipv6, Ndpv6, Ipv6_wire
BuildDepends: logs,io-page,mirage-types,ipaddr,cstruct,cstruct.ppx,lwt,
tcpip,tcpip.ethif, duration
Library icmpv4
CompiledObject: best
Path: lib/icmp
Findlibparent: tcpip
Findlibname: icmpv4
Modules: Icmpv4, Icmpv4_packet, Icmpv4_wire
BuildDepends: logs,mirage-types,cstruct,cstruct.ppx,lwt,ipaddr,result,rresult,mirage-profile,
tcpip
Library udp
CompiledObject: best
Path: lib/udp
Findlibparent: tcpip
Findlibname: udp
Modules: Udp, Udp_wire, Udp_packet
BuildDepends: logs,mirage-types,ipaddr,cstruct,cstruct.ppx,lwt,result,rresult,mirage-profile,
tcpip
Library tcp
CompiledObject: best
Pack: true
Path: lib/tcp
Findlibparent: tcpip
Findlibname: tcp
Modules: Options,State,Tcptimer,Sequence,Ack,
Window,Segment,User_buffer,Pcb,Flow,
Stats, Wire,
Tcp_wire, Tcp_packet
BuildDepends: logs,mirage-types,ipaddr,cstruct,cstruct.ppx,lwt,result,rresult,mirage-profile,
io-page,
tcpip, duration
Library dhcpv4
CompiledObject: best
Path: lib/dhcp
Findlibparent: tcpip
Findlibname: dhcpv4
Modules: Dhcpv4_option,Dhcp_clientv4
BuildDepends: logs,io-page,mirage-types,ipaddr,cstruct,cstruct.ppx,lwt,
tcpip.udp, duration
Library "tcpip-stack-direct"
CompiledObject: best
Path: lib
Findlibparent: tcpip
Findlibname: stack-direct
Modules: Tcpip_stack_direct
BuildDepends: logs,mirage-types,ipaddr,lwt,
tcpip.dhcpv4
Library "icmpv4-socket"
CompiledObject: best
Path: unix
Findlibparent: tcpip
Findlibname: icmpv4-socket
Modules: Icmpv4_socket
BuildDepends: lwt,
lwt.unix,
ipaddr.unix,
cstruct.lwt,
io-page.unix,
tcpip.icmpv4
Library "udpv4-socket"
CompiledObject: best
Path: unix
Findlibparent: tcpip
Findlibname: udpv4-socket
Modules: Udpv4_socket
BuildDepends: lwt,ipaddr.unix,cstruct.lwt
Library "udpv6-socket"
CompiledObject: best
Path: unix
Findlibparent: tcpip
Findlibname: udpv6-socket
Modules: Udpv6_socket
BuildDepends: lwt,lwt.unix,ipaddr.unix,cstruct.lwt,io-page.unix
Library "tcpv4-socket"
CompiledObject: best
Path: unix
Findlibparent: tcpip
Findlibname: tcpv4-socket
Modules: Tcpv4_socket
BuildDepends: lwt,lwt.unix,ipaddr.unix,cstruct.lwt,io-page.unix,mirage-types.lwt,mirage-types
Library "tcpv6-socket"
CompiledObject: best
Path: unix
Findlibparent: tcpip
Findlibname: tcpv6-socket
Modules: Tcpv6_socket
BuildDepends: lwt,lwt.unix,ipaddr.unix,cstruct.lwt,io-page.unix
Library "tcpip-stack-socket"
CompiledObject: best
Path: unix
Findlibparent: tcpip
Findlibname: stack-socket
Modules: Tcpip_stack_socket, Ipv4_socket, Ipv6_socket
BuildDepends: lwt,lwt.unix,ipaddr.unix,io-page.unix,logs
Executable test
CompiledObject: best
Build$: flag(tests)
install: false
Path: lib_test/
MainIs: test.ml
Custom: true
BuildDepends: alcotest,oUnit,lwt,lwt.unix,io-page.unix,
logs,logs.fmt,
mirage-profile,mirage-flow,mirage-vnetif,
mirage-clock-unix,pcap-format,
tcpip.ethif,tcpip.arpv4,tcpip.ipv4,tcpip.tcp,tcpip.udp,
tcpip.stack-direct,tcpip.icmpv4,
tcpip.udpv4-socket, tcpip.tcpv4-socket, tcpip.stack-socket, duration
Test test
Run$: flag(tests)
Command: $test -q