`binsec 0.11.1` breaks compilation

[GBathie]

Error

Currently, running opam switch create . on a fresh clone of the repository fails due to an error related to binsec:

# File "sampler/dune", line 19, characters 34-49:
# 19 |  (libraries binsec.smt binsec.sse binsec.sse.term yojson))
#                                        ^^^^^^^^^^^^^^^
# Error: Library "binsec.sse.term" not found.
# -> required by library "xyntiasampler" in _build/default/sampler
# -> required by _build/default/META.xyntiasampler
# -> required by _build/install/default/lib/xyntiasampler/META
# -> required by _build/default/xyntiasampler.install
# -> required by alias install

Mitigation

Forcing opam to install binsec==0.10.0 before running the command leads to success.

It seems that Xyntia is not compatible with the newer version of binsec. I see two possible solutions:

• Add a < 0.11 constraint to the binsec dependency, or
• Update Xyntia to work with the updated version.

[Kiritobl]

thank you for sharing