-
Notifications
You must be signed in to change notification settings - Fork 6
/
_tags
64 lines (64 loc) · 2.2 KB
/
_tags
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
# OASIS_START
# DO NOT EDIT (digest: 1f82695b63a785b303af4f7e11266a74)
# Library signpost
"lib": include
# Executable server
<lib/server.{native,byte}>: use_signpost
<lib/server.{native,byte}>: pkg_uri
<lib/server.{native,byte}>: pkg_re.str
<lib/server.{native,byte}>: pkg_re
<lib/server.{native,byte}>: pkg_openflow
<lib/server.{native,byte}>: pkg_ocamlgraph
<lib/server.{native,byte}>: pkg_lwt.unix
<lib/server.{native,byte}>: pkg_lwt.syntax
<lib/server.{native,byte}>: pkg_lwt
<lib/server.{native,byte}>: pkg_dns.server
<lib/server.{native,byte}>: pkg_dns
<lib/server.{native,byte}>: pkg_crypto_keys
<lib/server.{native,byte}>: pkg_bitstring
<lib/*.ml{,i}>: pkg_ocamlgraph
<lib/server.{native,byte}>: custom
# Executable send_cmd
<lib/remoteControl.{native,byte}>: use_signpost
<lib/remoteControl.{native,byte}>: pkg_uri
<lib/remoteControl.{native,byte}>: pkg_re.str
<lib/remoteControl.{native,byte}>: pkg_re
<lib/remoteControl.{native,byte}>: pkg_openflow
<lib/remoteControl.{native,byte}>: pkg_lwt.unix
<lib/remoteControl.{native,byte}>: pkg_lwt.syntax
<lib/remoteControl.{native,byte}>: pkg_lwt
<lib/remoteControl.{native,byte}>: pkg_crypto_keys
<lib/remoteControl.{native,byte}>: pkg_bitstring
<lib/remoteControl.{native,byte}>: custom
# Executable client
<lib/client.{native,byte}>: use_signpost
<lib/client.{native,byte}>: pkg_uri
<lib/client.{native,byte}>: pkg_re.str
<lib/client.{native,byte}>: pkg_re
<lib/client.{native,byte}>: pkg_openflow
<lib/client.{native,byte}>: pkg_lwt.unix
<lib/client.{native,byte}>: pkg_lwt.syntax
<lib/client.{native,byte}>: pkg_lwt
<lib/client.{native,byte}>: pkg_dns.server
<lib/client.{native,byte}>: pkg_dns
<lib/client.{native,byte}>: pkg_crypto_keys
<lib/client.{native,byte}>: pkg_bitstring
<lib/*.ml{,i}>: use_signpost
<lib/*.ml{,i}>: pkg_uri
<lib/*.ml{,i}>: pkg_re.str
<lib/*.ml{,i}>: pkg_re
<lib/*.ml{,i}>: pkg_openflow
<lib/*.ml{,i}>: pkg_lwt.unix
<lib/*.ml{,i}>: pkg_lwt.syntax
<lib/*.ml{,i}>: pkg_lwt
<lib/*.ml{,i}>: pkg_dns.server
<lib/*.ml{,i}>: pkg_dns
<lib/*.ml{,i}>: pkg_crypto_keys
<lib/*.ml{,i}>: pkg_bitstring
<lib/client.{native,byte}>: custom
# OASIS_STOP
<lib/*.ml{,i}>: syntax_camlp4o
<lib/*.ml{,i}>: pkg_lwt.syntax
<lib/*.ml{,i}>: pkg_bitstring.syntax
<**/*.ml>: warn_Z, annot
true: annot