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 · 568387f · 568387f
1 parent 7d6543f
commit 568387f
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)
+
 (executable
  (name script)
  (modules script)

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