-
Notifications
You must be signed in to change notification settings - Fork 4
/
_oasis
131 lines (123 loc) · 2.41 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
OASISFormat: 0.3
OCamlVersion: >= 4.01.0
Name: openflow
Version: 0.9.1
Synopsis: Serialization library for OpenFlow
Authors: https://github.com/frenetic-lang/ocaml-openflow/contributors
License: LGPL
Plugins: META (0.3), DevFiles (0.3)
BuildTools:
ocamlbuild
Library openflow
Path: lib
BuildDepends:
str,
cstruct,
cstruct.syntax,
packet,
core,
sexplib.syntax,
sexplib,
threads
InternalModules:
Bits,
OpenFlow_Misc,
VInt,
ModComposition,
HighLevelSwitch_common
Modules:
OpenFlow_Header,
OpenFlow0x01,
OpenFlow0x01_Core,
OpenFlow0x01_Stats,
OpenFlow0x04,
OpenFlow0x04_Core,
SDN_OpenFlow0x01,
SDN_OpenFlow0x04,
GroupTable0x04,
SDN_Types
Library async
Findlibparent: openflow
Findlibname: async
Path: async
BuildDepends:
async,
openflow,
cstruct.async,
threads,
sexplib.syntax,
sexplib
InternalModules:
Async_OpenFlow_Log,
Async_OpenFlow_Message,
Async_OpenFlow_Platform,
Async_OpenFlow_Stage,
Async_OpenFlow0x01,
Async_OpenFlow0x04,
Async_OpenFlowChunk,
Async_SDN
Modules:
Async_OpenFlow
Library quickcheck
Findlibparent: openflow
Findlibname: quickcheck
Path: quickcheck
BuildDepends:
quickcheck,
openflow,
packet.quickcheck
Modules:
Arbitrary_OpenFlow,
Arbitrary_OpenFlow0x01,
Arbitrary_OpenFlow0x04,
Arbitrary_SDN_Types
Executable testtool
Path: test
Install: false
Build$: flag(tests)
MainIs: Test.ml
BuildDepends:
packet,
openflow,
oUnit,
pa_ounit,
pa_ounit.syntax,
openflow,
openflow.quickcheck,
quickcheck
Executable ping_test
Path: ping-test
Install: false
Build$: flag(tests)
MainIs: PingTest.ml
BuildDepends: packet,openflow,openflow.async,oUnit,pa_ounit,pa_ounit.syntax
Test all_tests
Command: $testtool inline-test-runner openflow
Run$: flag(tests)
TestTools: testtool
Executable learning_switch
Path: examples
MainIs: Learning_Switch.ml
Build$: flag(tests)
Install: false
BuildDepends:
threads,
core,
async,
packet,
cstruct.async,
openflow,
openflow.async
Executable learning_switch0x04
Path: examples
MainIs: Learning_Switch0x04.ml
Build$: flag(tests)
Install: false
BuildDepends:
threads,
core,
async,
packet,
cstruct.async,
openflow,
openflow.async