From 33c2317007171dc7341d828e7567c9ccf8626721 Mon Sep 17 00:00:00 2001
From: Jan Tojnar <jtojnar@gmail.com>
Date: Mon, 24 Oct 2022 13:47:01 +0200
Subject: [PATCH] dune: Fix top-level installation

---
 dune | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/dune b/dune
index e1c3e8d..eb83165 100644
--- a/dune
+++ b/dune
@@ -10,6 +10,23 @@
   (modules generate)
   (libraries stdcompat))
 
+(rule
+  (target pymltop_libdir.ml)
+  (action (with-stdout-to %{target}
+    (run echo "let libdir=\"%{project_root}/lib/pyml/\""))))
+
+(executable
+  (name pytop)
+  (public_name pymltop)
+  (modules pytop pymltop_libdir)
+  (libraries compiler-libs))
+
+(executable
+  (name pyutop)
+  (public_name pymlutop)
+  (modules pyutop)
+  (libraries utop))
+
 (rule
   (targets pywrappers.ml pyml.h pyml_dlsyms.inc pyml_wrappers.inc)
   (deps (:gen generate.exe))