Strange problem with frama-c -- dh-ocaml's fault?
Hi,
one of frama-c's autopkgtest was failing because of:
[kernel] User Error: [findlib] package 'ppx_import' not found (required
by `frama-c.kernel')
[kernel] User Error: Deferred error message was emitted during
execution. See above messages for more information.
That was because the frama-c-base package didn't depend on libppx-
import-ocaml-28us3 as it should have, because for some reason dh-ocaml
didn't detect this dep.
I added a crude dep on libppx-import-ocaml to get around it, but that
is more a workaround than a real fix.
If someone has a better clue and a serious fix...
Cheers,
J.Puydt
Reply to: