From ba61dfd69504ec6263a9dee9931d93adeb6f3142 Mon Sep 17 00:00:00 2001 From: Rutger Broekhoff Date: Mon, 7 Jul 2025 21:52:08 +0200 Subject: Initialize repository --- test/dune | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 test/dune (limited to 'test/dune') diff --git a/test/dune b/test/dune new file mode 100644 index 0000000..8726c07 --- /dev/null +++ b/test/dune @@ -0,0 +1,7 @@ +(test + (name test_mininix) + (libraries core core_unix core_unix.filename_unix nix mininix) + (preprocess + (pps ppx_sexp_conv ppx_expect)) + (deps + (glob_files_rec testdata/*.{nix,exp}))) -- cgit v1.2.3