This should be fixed on 1.1.0-deb1
** Changed in: coccinelle (Ubuntu)
Status: Triaged => Fix Released
--
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 ag
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
Unfortunately, coccinelle currently fails to build on the autobuilders:
https://launchpad.net/ubuntu/+archive/test-
rebuild-20140127/+build/5505209/+files/buildlog_ubuntu-
trusty-i386.coccinelle_1.0.0~rc19.deb-3_FAILEDTOBUILD.txt.gz
However, I can't reproduce locally.
** Changed in: coccinelle (
