I would suggest copying the example out from the source tree of Incr_dom into your own, otherwise it tries to build this src/dune, which most likely isn’t what you want.
1 Like
I would suggest copying the example out from the source tree of Incr_dom into your own, otherwise it tries to build this src/dune, which most likely isn’t what you want.