[Bug 1210855] Re: Coccinelle needs rebuild against newer ocaml

2021-03-02 Thread Emmanuel Arias
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 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

[Bug 1210855] Re: Coccinelle needs rebuild against newer ocaml

2014-02-08 Thread Dave Gilbert
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


[Bug 1210855] Re: Coccinelle needs rebuild against newer ocaml

2014-02-01 Thread Andreas Moog
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 (Ubuntu)
   Importance: Undecided = High

** Changed in: coccinelle (Ubuntu)
   Status: New = Triaged

** Tags added: ftbfs trusty

-- 
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