2021-09-29 14:34:09 +00:00
|
|
|
(library
|
|
|
|
|
(name cbor)
|
|
|
|
|
(public_name webauthn.cbor)
|
2021-10-08 16:49:18 +00:00
|
|
|
(modules CBOR)
|
2021-09-29 14:34:09 +00:00
|
|
|
(wrapped false)
|
|
|
|
|
(libraries ocplib-endian))
|
2021-10-08 16:49:18 +00:00
|
|
|
|
|
|
|
|
(executable
|
|
|
|
|
(name test)
|
|
|
|
|
(modules test)
|
|
|
|
|
(libraries webauthn.cbor yojson))
|
|
|
|
|
|
|
|
|
|
(rule
|
|
|
|
|
(alias runtest)
|
|
|
|
|
(deps test.exe appendix_a.json)
|
|
|
|
|
(action (run ./test.exe appendix_a.json)))
|
