diff options
Diffstat (limited to 'test/dune')
-rw-r--r-- | test/dune | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/dune b/test/dune new file mode 100644 index 0000000..8726c07 --- /dev/null +++ b/test/dune | |||
@@ -0,0 +1,7 @@ | |||
1 | (test | ||
2 | (name test_mininix) | ||
3 | (libraries core core_unix core_unix.filename_unix nix mininix) | ||
4 | (preprocess | ||
5 | (pps ppx_sexp_conv ppx_expect)) | ||
6 | (deps | ||
7 | (glob_files_rec testdata/*.{nix,exp}))) | ||