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 @@
+(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})))

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})))