Skip to content

Commit 514ffcb

Browse files
committed
Add copy_files stanzas to affeq-test dune
1 parent 6fa6c92 commit 514ffcb

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

tests/unit/dune

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,10 @@
1717
(dev
1818
(flags (:standard -warn-error -A -w -unused-var-strict)) ; https://dune.readthedocs.io/en/stable/faq.html#how-to-make-warnings-non-fatal
1919
)
20-
)
20+
)
21+
22+
; Workaround for alternative dependencies with unqualified subdirs.
23+
; See: https://github.com/ocaml/dune/issues/4383#issuecomment-805107435.
24+
; TODO: Remove workaround with dune 3.0, where this should get fixed.
25+
; A dune file with "include_subdirs no" is located in cdomains/affineEqualityDomain to avoid a dependency cycle
26+
(copy_files# cdomains/affineEqualityDomain/sparseImplementation/*.ml)

0 commit comments

Comments
 (0)