Public bug reported:
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)
** Affects: coccinelle (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug saucy
--
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
