aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-05-18 12:35:26 -0300
committerGitHub <noreply@github.com>2026-05-18 12:35:26 -0300
commitcf0fffed43d0ca7618cd0013411151e057b7a32a (patch)
tree35915aee3f7160b9ff6b41c3c0502b34050f642c /bin/dune
parente3d3e20dfea253de291d5b31059cd55c0eaabf02 (diff)
downloadSakura-cf0fffed43d0ca7618cd0013411151e057b7a32a.tar.gz
Sakura-cf0fffed43d0ca7618cd0013411151e057b7a32a.zip
RNT interface
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune8
1 files changed, 0 insertions, 8 deletions
diff --git a/bin/dune b/bin/dune
index 7ce0e91..2a0d1c0 100644
--- a/bin/dune
+++ b/bin/dune
@@ -5,11 +5,3 @@
(libraries relational_engine unix)
(link_deps ../shared/shabptree/sakura_shabptree.dll)
(modes byte exe))
-
-(executable
- (name tree)
- (public_name sakura-tree)
- (modules tree)
- (libraries relational_engine unix)
- (link_deps ../shared/shabptree/sakura_shabptree.dll)
- (modes byte exe))