Source: frama-c
Version: 20151002+magnesium+dfsg-1
Severity: important
Hi.
frama-c magnesium fails to build with ocaml 4.03, which should be
uploaded to sid very soon:
File "src/plugins/wp/wpo.ml", line 1:
Error: The implementation src/plugins/wp/wpo.ml
does not match the interface src/plugins/wp/wpo.cmi:
...
In module Gmap:
The value `union' is required but not provided
share/Makefile.generic:77: recipe for target 'src/plugins/wp/wpo.cmo' failed
make[1]: *** [src/plugins/wp/wpo.cmo] Error 2
Note that upstream has released a new version Aluminium-20160501,
which might solve the problem (I haven't checked, yet).
-Ralf.
