OASISFormat: 0.3
Name:        io-page
Version:     1.1.1
Synopsis:    Page-aligned memory allocator
Authors:     Anil Madhavapeddy, David Scott, Thomas Gazagnaire
License:     ISC
Plugins:     META (0.3), DevFiles (0.3)
BuildTools:  ocamlbuild

Flag unix
  Description:        build the unix library
  Default:            true

Library io_page
  CompiledObject:     best
  Path:               lib
  Findlibname:        io-page
  Modules:            Io_page
  BuildDepends:       cstruct

Library io_page_unix
  Build$:             flag(unix)
  CompiledObject:     best
  Path:               lib
  FindlibParent:      io_page
  Findlibname:        unix
  Modules:            Io_page_unix # Dummy module to compile the library
  BuildDepends:       bigarray
  CSources:           stub_alloc_pages.c

Executable portable
  Build:             false
  CompiledObject:     best
  Path:               lib_test
  MainIs:             portable.ml
  Custom:             true
  Install:            false
  BuildDepends:       io-page.unix, io-page, mirage.types, oUnit
  CSources:           stub_get_addr.c

Test portable
  Command:            ./portable.native
  Run:                true
