(lang dune 2.9)
(name mirage-crypto-ec)
(library
 (name mirage-crypto-ec)
 (kind normal)
 (archives (byte mirage_crypto_ec.cma) (native mirage_crypto_ec.cmxa))
 (plugins (byte mirage_crypto_ec.cma) (native mirage_crypto_ec.cmxs))
 (foreign_objects
  curve25519_stubs.o
  np224_stubs.o
  np256_stubs.o
  np384_stubs.o
  np521_stubs.o
  p224_stubs.o
  p256_stubs.o
  p384_stubs.o
  p521_stubs.o)
 (foreign_archives libmirage_crypto_ec_stubs.a)
 (native_archives mirage_crypto_ec.a)
 (requires cstruct eqaf.cstruct mirage-crypto mirage-crypto-rng)
 (main_module_name Mirage_crypto_ec)
 (modes byte native)
 (modules
  (singleton
   (name Mirage_crypto_ec)
   (obj_name mirage_crypto_ec)
   (visibility public)
   (impl)
   (intf))))
