Permalink
Fetching contributors…
Cannot retrieve contributors at this time
45 lines (41 sloc) 1.41 KB
# OASIS_START
# DO NOT EDIT (digest: 2963524333f9abc4c92c5498b79b6db4)
version = "1.2.0"
description = "Xen-style shared memory rings"
requires = "cstruct"
archive(byte) = "shared_memory_ring.cma"
archive(byte, plugin) = "shared_memory_ring.cma"
archive(native) = "shared_memory_ring.cmxa"
archive(native, plugin) = "shared_memory_ring.cmxs"
exists_if = "shared_memory_ring.cma"
package "xenstore" (
version = "1.2.0"
description = "Xen-style shared memory rings"
requires = "shared-memory-ring"
archive(byte) = "xenstore_ring.cma"
archive(byte, plugin) = "xenstore_ring.cma"
archive(native) = "xenstore_ring.cmxa"
archive(native, plugin) = "xenstore_ring.cmxs"
exists_if = "xenstore_ring.cma"
)
package "lwt" (
version = "1.2.0"
description = "Xen-style shared memory rings"
requires = "shared-memory-ring lwt mirage-profile"
archive(byte) = "lwt_shared_memory_ring.cma"
archive(byte, plugin) = "lwt_shared_memory_ring.cma"
archive(native) = "lwt_shared_memory_ring.cmxa"
archive(native, plugin) = "lwt_shared_memory_ring.cmxs"
exists_if = "lwt_shared_memory_ring.cma"
)
package "console" (
version = "1.2.0"
description = "Xen-style shared memory rings"
requires = "shared-memory-ring cstruct cstruct.ppx"
archive(byte) = "console_ring.cma"
archive(byte, plugin) = "console_ring.cma"
archive(native) = "console_ring.cmxa"
archive(native, plugin) = "console_ring.cmxs"
exists_if = "console_ring.cma"
)
# OASIS_STOP