Hmm yes, the error seems to be: /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.mli File "ctl_engine.mli", line 1: Error: Corrupted compiled interface ../commons/oset.cmi make[7]: *** [ctl_engine.cmi] Error 2 make[7]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc19.deb/ctl' make[6]: *** [all.opt] Error 2 make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc19.deb/ctl' make[5]: *** [ctl.opt] Error 2 make[5]: *** Waiting for unfinished jobs....
which I've not got a clue about. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1210855 Title: Coccinelle needs rebuild against newer ocaml To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/coccinelle/+bug/1210855/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
