diff options
author | Nadrieril | 2024-05-23 17:01:03 +0200 |
---|---|---|
committer | Nadrieril | 2024-05-24 16:11:59 +0200 |
commit | 7935e74a9cedd93e885ab546d5513ea6c31db5ad (patch) | |
tree | 6f231079c905423479b4a63354c2a2e124843059 /tests/test_runner/dune | |
parent | 24fc188af7032b8119cb7504965b82216e2bbf6b (diff) |
runner: Strongly typed Backend enum
Diffstat (limited to '')
-rw-r--r-- | tests/test_runner/dune | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/test_runner/dune b/tests/test_runner/dune index 7caf661f..65b0c5fe 100644 --- a/tests/test_runner/dune +++ b/tests/test_runner/dune @@ -1,4 +1,10 @@ (executable (public_name test_runner) (libraries core_unix.sys_unix unix) + (preprocess + (pps ppx_deriving.show ppx_deriving.ord ppx_sexp_conv)) (name run_test)) + +(env + (dev + (flags :standard -warn-error -5@8-11-14-32-33-20-21-26-27-39))) |