diff --git a/dune b/dune
index 18913452..79a54003 100644
--- a/dune
+++ b/dune
@@ -1,7 +1,7 @@
 
 (alias
  (name runtest)
- (deps README.md)
+ (deps README.md src/core/msat.cma src/sat/msat_sat.cma src/sudoku/sudoku_solve.exe)
  (locks test)
  (action (progn
           (run mdx test README.md)