Do not scan unecessary directories with dune

This will reduce the number of rules dune produces from 750k to 10k. Will not make compilation faster but it does make dune more responsive.
formalsec · Jun 25, 2024 · 3492447 · 3492447
1 parent 1e3d351
commit 3492447
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 0 deletions.
diff --git a/JS-Interpreters/dune b/JS-Interpreters/dune
@@ -1,3 +1,5 @@
+(dirs ecmaref5 ecmaref6)
+
 (rule
  (targets es5.include es6.include es6-sym.include es6-sym.cesl)
  (deps

diff --git a/JS2ECMA-SL/dune b/JS2ECMA-SL/dune
@@ -1,3 +1,5 @@
+(dirs src)
+
 (executable
  (name script)
  (modules script)

diff --git a/test/dune b/test/dune
@@ -0,0 +1 @@
+(dirs ecma-sl ecmaref javascript)