(executable
 (name test)
 (libraries hex hacl alcotest))

(alias
 (name    runtest-hacl)
 (action  (run %{exe:test.exe})))

(alias
 (name    runtest)
 (deps    (alias runtest-hacl)))