forked from frenetic-lang/frenetic
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path_oasis
124 lines (115 loc) · 2.08 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
OASISFormat: 0.3
OCamlVersion: >= 4.01.0
Name: frenetic
Version: 2.0.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
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
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
Modules:
Async_NetKAT,
Async_NetKAT_Controller
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
BuildDepends:
async,
cmdliner,
core,
netkat,
netkat.async
Executable netkat_test
Path: frenetic
MainIs: netkat_test.ml
Build$: flag(async)
Install: false
BuildDepends:
async,
core,
netkat,
netkat.async