From f49af22461082b290787352989cdb35f89b8df7a Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Fri, 30 Oct 2026 13:42:08 -0300
Subject: driver due to the lack of an init system for headless run

---
 tools/driver/dune | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 tools/driver/dune

(limited to 'tools/driver/dune')

diff --git a/tools/driver/dune b/tools/driver/dune
new file mode 100644
index 0000000..429a4fc
--- /dev/null
+++ b/tools/driver/dune
@@ -0,0 +1,3 @@
+(executable
+ (name main)
+ (libraries rnt subsystem batteries unix))
-- 
cgit v1.2.3