You need to move the first block inside a dune file in the 7zip folder and add only the two libraries to the deps in the second stanza: I have just tried on my eigen PR and seems to work fine: https://github.com/owlbarn/eigen/pull/8/commits/a8ece00fe3eccc598c99bd8d2591fefb5e20433f