(tests
 (names aead_test
        curve25519_test
        ed25519_test
        hash_test
        poly1305_test
        hmac_test
        hkdf_test
        nacl_test
        drbg_test
        blake2_test
        p256_test)
 (libraries hacl-star)
 (preprocessor_deps config.h)
 (preprocess (action (run %{bin:cppo} %{input-file})))
 (flags (:standard -open Hacl_star -warn-error -3)))

(rule (targets config.h) (deps)
 (action
  (bash "cp $(ocamlfind query hacl-star-raw)/config.h .")))
