Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 113 lines (112 sloc) 4.351 kb
0d5f017 @djs55 Add autogenerated OASIS files
authored
1 # OASIS_START
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
2 # DO NOT EDIT (digest: 9447015234f577befb6acc740b19c235)
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
3 # Ignore VCS directories, you can use the same kind of rule outside
4 # OASIS_START/STOP if you want to exclude directories that contains
0d5f017 @djs55 Add autogenerated OASIS files
authored
5 # useless stuff for the build process
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
6 true: annot, bin_annot
0d5f017 @djs55 Add autogenerated OASIS files
authored
7 <**/.svn>: -traverse
8 <**/.svn>: not_hygienic
9 ".bzr": -traverse
10 ".bzr": not_hygienic
11 ".hg": -traverse
12 ".hg": not_hygienic
13 ".git": -traverse
14 ".git": not_hygienic
15 "_darcs": -traverse
16 "_darcs": not_hygienic
17 # Library shared_memory_ring
18 "lib/shared_memory_ring.cmxs": use_shared_memory_ring
521c295 @djs55 Start fleshing out a test case; add the ring_stubs into the build, expos...
authored
19 <lib/shared_memory_ring.{cma,cmxa}>: use_libshared_memory_ring_stubs
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
20 <lib/*.ml{,i,y}>: pkg_cstruct
21 <lib/*.ml{,i,y}>: pkg_cstruct.syntax
1cf25b1 @djs55 Rename ring_stubs to barrier_stubs
authored
22 "lib/barrier_stubs.c": pkg_cstruct
23 "lib/barrier_stubs.c": pkg_cstruct.syntax
fce6a4c @djs55 Move the xen protocol rings (xenstore, console) into a subpackage
authored
24 # Library console_ring
25 "xen/console_ring.cmxs": use_console_ring
26 # Library xenstore_ring
27 "xen/xenstore_ring.cmxs": use_xenstore_ring
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
28 <xen/*.ml{,i,y}>: pkg_cstruct
29 <xen/*.ml{,i,y}>: pkg_cstruct.syntax
30 <xen/*.ml{,i,y}>: use_shared_memory_ring
9e8fb47 @djs55 Update _oasis and regenerate files
authored
31 # Library lwt_shared_memory_ring
32 "lwt/lwt_shared_memory_ring.cmxs": use_lwt_shared_memory_ring
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
33 <lwt/*.ml{,i,y}>: pkg_cstruct
34 <lwt/*.ml{,i,y}>: pkg_cstruct.syntax
35 <lwt/*.ml{,i,y}>: pkg_lwt
36 <lwt/*.ml{,i,y}>: pkg_lwt.syntax
37 <lwt/*.ml{,i,y}>: pkg_mirage-profile
38 <lwt/*.ml{,i,y}>: use_shared_memory_ring
0d5f017 @djs55 Add autogenerated OASIS files
authored
39 # Executable ring_test
68eb29d @avsm bump to version 0.2.0
avsm authored
40 <lib_test/ring_test.{native,byte}>: use_libring_test_stubs
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
41 <lib_test/ring_test.{native,byte}>: pkg_cstruct
42 <lib_test/ring_test.{native,byte}>: pkg_cstruct.syntax
68eb29d @avsm bump to version 0.2.0
avsm authored
43 <lib_test/ring_test.{native,byte}>: pkg_lwt
44 <lib_test/ring_test.{native,byte}>: pkg_lwt.unix
45 <lib_test/ring_test.{native,byte}>: pkg_oUnit
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
46 <lib_test/ring_test.{native,byte}>: use_console_ring
47 <lib_test/ring_test.{native,byte}>: use_shared_memory_ring
48 <lib_test/ring_test.{native,byte}>: use_xenstore_ring
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
49 <lib_test/*.ml{,i,y}>: pkg_cstruct
50 <lib_test/*.ml{,i,y}>: pkg_cstruct.syntax
51 <lib_test/*.ml{,i,y}>: pkg_lwt
52 <lib_test/*.ml{,i,y}>: pkg_lwt.unix
53 <lib_test/*.ml{,i,y}>: pkg_oUnit
54 <lib_test/*.ml{,i,y}>: use_console_ring
55 <lib_test/*.ml{,i,y}>: use_shared_memory_ring
56 <lib_test/*.ml{,i,y}>: use_xenstore_ring
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
57 "lib_test/old_ring_stubs.c": pkg_cstruct
58 "lib_test/old_ring_stubs.c": pkg_cstruct.syntax
fb314fb @djs55 Move the C xenstore/console stubs to the test directory and out of the m...
authored
59 "lib_test/old_ring_stubs.c": pkg_lwt
60 "lib_test/old_ring_stubs.c": pkg_lwt.unix
61 "lib_test/old_ring_stubs.c": pkg_oUnit
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
62 "lib_test/old_ring_stubs.c": use_console_ring
63 "lib_test/old_ring_stubs.c": use_shared_memory_ring
64 "lib_test/old_ring_stubs.c": use_xenstore_ring
68eb29d @avsm bump to version 0.2.0
avsm authored
65 <lib_test/ring_test.{native,byte}>: custom
b9d9b44 @djs55 Update _oasis and autogenerated files
authored
66 # Executable lwt_test
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
67 <lwt_test/lwt_test.{native,byte}>: pkg_cstruct
68 <lwt_test/lwt_test.{native,byte}>: pkg_cstruct.syntax
68eb29d @avsm bump to version 0.2.0
avsm authored
69 <lwt_test/lwt_test.{native,byte}>: pkg_lwt
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
70 <lwt_test/lwt_test.{native,byte}>: pkg_lwt.syntax
68eb29d @avsm bump to version 0.2.0
avsm authored
71 <lwt_test/lwt_test.{native,byte}>: pkg_lwt.unix
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
72 <lwt_test/lwt_test.{native,byte}>: pkg_mirage-profile
68eb29d @avsm bump to version 0.2.0
avsm authored
73 <lwt_test/lwt_test.{native,byte}>: pkg_oUnit
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
74 <lwt_test/lwt_test.{native,byte}>: use_lwt_shared_memory_ring
75 <lwt_test/lwt_test.{native,byte}>: use_shared_memory_ring
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
76 <lwt_test/*.ml{,i,y}>: pkg_cstruct
77 <lwt_test/*.ml{,i,y}>: pkg_cstruct.syntax
78 <lwt_test/*.ml{,i,y}>: pkg_lwt
79 <lwt_test/*.ml{,i,y}>: pkg_lwt.syntax
80 <lwt_test/*.ml{,i,y}>: pkg_lwt.unix
81 <lwt_test/*.ml{,i,y}>: pkg_mirage-profile
82 <lwt_test/*.ml{,i,y}>: pkg_oUnit
83 <lwt_test/*.ml{,i,y}>: use_lwt_shared_memory_ring
84 <lwt_test/*.ml{,i,y}>: use_shared_memory_ring
68eb29d @avsm bump to version 0.2.0
avsm authored
85 <lwt_test/lwt_test.{native,byte}>: custom
de254bd @djs55 Add new example to OASIS
authored
86 # Executable client
87 <examples/client.{native,byte}>: pkg_cstruct
88 <examples/client.{native,byte}>: pkg_cstruct.syntax
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
89 <examples/client.{native,byte}>: pkg_lwt
90 <examples/client.{native,byte}>: pkg_lwt.syntax
91 <examples/client.{native,byte}>: pkg_lwt.unix
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
92 <examples/client.{native,byte}>: pkg_mirage-profile
306369c @djs55 [xen] add {read,write} to go along with unsafe_{read,write}. Release 1.1...
authored
93 <examples/client.{native,byte}>: use_lwt_shared_memory_ring
94 <examples/client.{native,byte}>: use_shared_memory_ring
3d18bc9 @talex5 Added profiling/tracing support
talex5 authored
95 <examples/*.ml{,i,y}>: pkg_cstruct
96 <examples/*.ml{,i,y}>: pkg_cstruct.syntax
97 <examples/*.ml{,i,y}>: pkg_lwt
98 <examples/*.ml{,i,y}>: pkg_lwt.syntax
99 <examples/*.ml{,i,y}>: pkg_lwt.unix
100 <examples/*.ml{,i,y}>: pkg_mirage-profile
101 <examples/*.ml{,i,y}>: use_lwt_shared_memory_ring
102 <examples/*.ml{,i,y}>: use_shared_memory_ring
de254bd @djs55 Add new example to OASIS
authored
103 <examples/client.{native,byte}>: custom
0d5f017 @djs55 Add autogenerated OASIS files
authored
104 # OASIS_STOP
ec93dbc @djs55 ring.ml requires cstruct syntax extension
authored
105 true: annot
2851a1f @vbmithr Documentation generation.
vbmithr authored
106 <*/*.ml{,i}>: syntax_camlp4o
ec93dbc @djs55 ring.ml requires cstruct syntax extension
authored
107 <lib/ring>: pkg_cstruct.syntax
9e8fb47 @djs55 Update _oasis and regenerate files
authored
108 <lwt/lwt_ring>: pkg_lwt.syntax
521c295 @djs55 Start fleshing out a test case; add the ring_stubs into the build, expos...
authored
109 <lwt_test/lwt_test>: pkg_lwt.syntax
2851a1f @vbmithr Documentation generation.
vbmithr authored
110 <lib>: include
111 <lwt>: include
cb64cec @vbmithr Added Xenstore_ring and Console_ring to the doc.
vbmithr authored
112 <xen>: include
Something went wrong with that request. Please try again.