Skip to content

Commit 32ad13e

Browse files
committed
fix: Fix dune dependency glitch on recompilation of mutation_test
1 parent 2c89d9e commit 32ad13e

File tree

1 file changed

+3
-2
lines changed
  • src/grader-plugins

1 file changed

+3
-2
lines changed

src/grader-plugins/dune

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
(flags (:standard -I src/grader/test_lib -open Test_lib.Open_me))
1212
(modules mutation_test)
1313
(preprocess (pps grader_ppx))
14-
(preprocessor_deps (alias ../grader/test_lib/test_lib_cmis))
15-
;; this is not a preprocessor deps, but dune does not allow other kinds of deps...
14+
(preprocessor_deps (file ../grader/grading.cma)
15+
(alias ../grader/test_lib/test_lib_cmis))
16+
;; these are not a preprocessor deps, but dune does not allow other kinds of deps...
1617
)

0 commit comments

Comments
 (0)