Coccinelle needs rebuild against newer ocaml

[Dave Gilbert]

It looks like coccinelle needs rebuilding against a newer OCaml; this is 1.0.0~rc17.deb-2build1 on saucy,
Saucy has 3.12 ocaml, and if I rebuild it from the 1.0.0~rc17.deb-2build1 source it works fine without modification:

dg@major:~$ spatch -sp-file cocci/comma3 msg_clnt.c
init_defs_builtins: /usr/share/coccinelle/standard.h
Fatal error: exception Failure("OCaml scripting is unsupported. Compile spatch with OCaml version >= 3.11")

You can use any .c file, an example cocci file is the badzero.cocci in the linux-headers package

ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: coccinelle 1.0.0~rc17.deb-2build1
Uname: Linux 3.11.0-999-generic x86_64
ApportVersion: 2.12-0ubuntu3
Architecture: amd64
Date: Sat Aug 10 21:11:38 2013
InstallationDate: Installed on 2012-07-17 (389 days ago)
InstallationMedia: Kubuntu 12.10 "Quantal Quetzal" - Alpha amd64 (20120717)
MarkForUpload: True
SourcePackage: coccinelle
UpgradeStatus: Upgraded to saucy on 2013-05-21 (81 days ago)

[Andreas Moog (ampelbein)]

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.

[Dave Gilbert (ubuntu-treblig)]

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.

[Emmanuel Arias (eamanu)]

This should be fixed on 1.1.0-deb1