dune: depend on new runtime files

2020-06-24 15:15:36 +02:00 · 2020-06-24 15:15:36 +02:00 · 821391667f
parent 7bf55c6c54
commit 821391667f
1 changed files with 1 additions and 0 deletions
--- a/runtime/dune
+++ b/runtime/dune
@ -45,6 +45,7 @@
     gc_ctrl.c  md5.c obj.c
   lexing.c callback.c debugger.c weak.c compact.c finalise.c custom.c dynlink.c
   spacetime_byt.c afl.c unix.c win32.c bigarray.c main.c memprof.c domain.c
+   skiplist.c codefrag.c
 )
 (action
   (progn