2018-06-05 21:27:33 +04:00
|
|
|
(executable
|
2018-07-25 23:06:02 +04:00
|
|
|
(name test)
|
|
|
|
(modules Test)
|
|
|
|
(libraries alcotest uecc))
|
2018-06-05 21:27:33 +04:00
|
|
|
|
2018-06-14 03:56:11 +04:00
|
|
|
(executable
|
2018-07-25 23:06:02 +04:00
|
|
|
(name test_vectors)
|
|
|
|
(modules Vectors Test_vectors)
|
|
|
|
(libraries cstruct hex alcotest uecc))
|
2018-06-14 03:56:11 +04:00
|
|
|
|
2018-06-05 21:27:33 +04:00
|
|
|
(alias
|
2018-07-25 23:06:02 +04:00
|
|
|
(name runtest-uecc)
|
|
|
|
(action (run %{exe:test.exe})))
|
2018-06-05 21:27:33 +04:00
|
|
|
|
2018-06-14 03:56:11 +04:00
|
|
|
(alias
|
2018-07-25 23:06:02 +04:00
|
|
|
(name runtest-uecc-vectors)
|
|
|
|
(action (run %{exe:test_vectors.exe})))
|
2018-06-14 03:56:11 +04:00
|
|
|
|
2018-06-05 21:27:33 +04:00
|
|
|
(alias
|
2018-07-25 23:06:02 +04:00
|
|
|
(name runtest)
|
|
|
|
(deps (alias runtest-uecc)
|
|
|
|
(alias runtest-uecc-vectors)))
|