forked from frenetic-lang/frenetic
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_oasis
149 lines (139 loc) · 2.52 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
OASISFormat: 0.3
OCamlVersion: >= 4.01.0
Name: frenetic
Version: 3.1.0
Synopsis: The Frenetic Compiler and Runtime System
Authors: https://github.com/frenetic-lang/frenetic/contributors
License: LGPL
Plugins: META (0.3)
BuildTools:
ocamlbuild,
ocamldoc,
camlp4
Flag quickcheck
Description: build the frenetic.quickcheck library
Default: false
Flag async
Description: build the netkat.async library
Default: false
Library netkat
Path: lib
BuildDepends:
core,
fieldslib,
fieldslib.syntax,
ocamlgraph,
openflow,
sexplib,
sexplib.syntax,
str,
threads
InternalModules:
Algo,
Flowterp,
Optimize,
Util
Modules:
NetKAT_Lexer,
NetKAT_LocalCompiler,
NetKAT_Parser,
NetKAT_Pretty,
NetKAT_Semantics,
NetKAT_Types,
NetKAT_Misc
Library syntax
Path: syntax
Findlibparent: netkat
Findlibname: syntax
BuildDepends:
camlp4.lib,
camlp4.extend,
camlp4.quotations.o,
ulex,
ipaddr
Modules:
Parser,
Quotations,
MyLexer
XMETAType: syntax
XMETARequires: camlp4, ulex, ipaddr
XMETADescription: Syntax extension writing NetKAT expressions
Library async
Findlibparent: netkat
Findlibname: async
Path: async
Build$: flag(async)
BuildDepends:
async,
core,
cstruct,
cstruct.syntax,
netkat,
openflow,
openflow.async,
packet,
threads,
topology,
sexplib,
sexplib.syntax
InternalModules:
Discovery,
Learning,
Raw_app,
TUtil,
Txn
Modules:
Async_NetKAT,
Async_NetKAT_Controller,
NetKAT
Library quickcheck
Findlibparent: netkat
Findlibname: quickcheck
Path: quickcheck
Build$: flag(quickcheck) || flag(tests)
BuildDepends:
netkat,
openflow.quickcheck,
packet.quickcheck,
quickcheck
Modules:
NetKAT_Arbitrary
Executable testtool
Path: test
MainIs: Test.ml
Build$: flag(tests)
Install: false
BuildDepends:
netkat,
netkat.quickcheck,
oUnit,
packet,
pa_ounit,
pa_ounit.syntax,
quickcheck
Test all_tests
Command: $testtool inline-test-runner netkat
Run$: flag(tests)
TestTools: testtool
Executable katnetic
Path: frenetic
MainIs: katnetic.ml
Build$: flag(async)
Install: false
CompiledObject: native
BuildDepends:
async,
cmdliner,
core,
netkat,
netkat.async
Executable test_updates
Path: frenetic
MainIs: test_updates.ml
Build$: flag(async)
Install: false
BuildDepends:
async,
core,
netkat,
netkat.async