Use (include_subdirs no) for new dune libraries

goblint · Dec 7, 2023 · a6095e7 · a6095e7
1 parent 5662024
commit a6095e7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/config/dune b/src/config/dune
@@ -1,4 +1,4 @@
-(include_subdirs unqualified)
+(include_subdirs no)
 
 (library
  (name goblint_config)

diff --git a/src/domain/dune b/src/domain/dune
@@ -1,4 +1,4 @@
-(include_subdirs unqualified)
+(include_subdirs no)
 
 (library
  (name goblint_domain)

diff --git a/src/incremental/dune b/src/incremental/dune
@@ -1,4 +1,4 @@
-(include_subdirs unqualified)
+(include_subdirs no)
 
 (library
  (name goblint_incremental)