[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: