(lang dune 3.22)
(name belenios-platform-native)
(version 3.3.0)
(sections
 (lib /usr/lib/belenios-platform-native)
 (libexec /usr/lib/belenios-platform-native)
 (doc /usr/doc/belenios-platform-native)
 (stublibs /usr/lib/stublibs))
(files
 (lib
  (META
   belenios_platform.cmi
   belenios_platform.cmx
   belenios_platform__.cmi
   belenios_platform__.cmx
   belenios_platform__Platform.cmi
   belenios_platform__Platform.cmt
   belenios_platform__Platform.cmx
   belenios_platform__Signatures.cmi
   belenios_platform__Version.cmi
   belenios_platform__Version.cmx
   belenios_platform__belenios_platform_native__.cmi
   belenios_platform__belenios_platform_native__.cmt
   belenios_platform__belenios_platform_native__.cmx
   belenios_platform__belenios_platform_native__.ml
   belenios_platform_native.a
   belenios_platform_native.cma
   belenios_platform_native.cmxa
   dune-package
   libbelenios_platform_native_stubs.a
   opam
   platform.ml))
 (libexec (belenios_platform_native.cmxs))
 (doc (CHANGES.md README.md))
 (stublibs (dllbelenios_platform_native_stubs.so)))
(library
 (name belenios-platform-native)
 (kind normal)
 (archives
  (byte belenios_platform_native.cma)
  (native belenios_platform_native.cmxa))
 (plugins
  (byte belenios_platform_native.cma)
  (native belenios_platform_native.cmxs))
 (foreign_objects libsodium_stubs.o)
 (foreign_archives
  (archives (for all) (files libbelenios_platform_native_stubs.a)))
 (foreign_dll_files ../stublibs/dllbelenios_platform_native_stubs.so)
 (native_archives belenios_platform_native.a)
 (requires belenios-platform lwt lwt.unix cryptokit zarith digestif.c)
 (implements belenios-platform)
 (main_module_name Belenios_platform)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name belenios_platform__belenios_platform_native__)
     (visibility public)
     (kind alias)
     (source
      (path Belenios_platform__belenios_platform_native__)
      (impl (path belenios_platform__belenios_platform_native__.ml-gen))))
    (name Belenios_platform)
    (modules
     (module
      (obj_name belenios_platform__Platform)
      (visibility public)
      (kind impl_vmodule)
      (source (path Platform) (impl (path platform.ml))))))
   (wrapped true))))
