forked from xapi-project/xen-api
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdune
47 lines (45 loc) · 911 Bytes
/
dune
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
(library
(public_name xapi-stdext-threads)
(name xapi_stdext_threads)
(modules :standard \ ipq scheduler threadext_test ipq_test scheduler_test)
(libraries
ambient-context.thread_local
mtime
mtime.clock.os
threads.posix
unix
tgroup
xapi-stdext-unix
xapi-stdext-pervasives)
(foreign_stubs
(language c)
(names delay_stubs)
)
)
(library
(public_name xapi-stdext-threads.scheduler)
(name xapi_stdext_threads_scheduler)
(modules ipq scheduler)
(libraries
mtime
mtime.clock.os
threads.posix
unix
xapi-log
xapi-stdext-threads
clock)
)
(tests
(names threadext_test ipq_test scheduler_test)
(package xapi-stdext-threads)
(modules threadext_test ipq_test scheduler_test)
(libraries
xapi_stdext_threads
alcotest
mtime.clock.os
mtime
fmt
tgroup
threads.posix
xapi_stdext_threads_scheduler)
)