Bug 350145 – sci-mathematics/coq-8.3pl1 version bump

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Olivier Huber 2010-12-30 11:56:27 UTC]

There's been no announce but it has been released

[Comment 1 Olivier Huber 2010-12-30 12:13:07 UTC]

Created attachment 258431 [details, diff]
ebuild

[Comment 2 Alexis Ballier 2010-12-30 20:08:26 UTC]

seems good but fails to build here with ocaml 3.12 :(

OCAMLOPT  toplevel/mltop.optml
File "toplevel/mltop.optml", line 112, characters 63-64:
Error: The function applied to this argument has type
         ?warn:bool -> System.physical_path * string
This argument cannot be applied without label
make[1]: *** [toplevel/mltop.cmx] Error 2
make[1]: Leaving directory `/var/tmp/portage/sci-mathematics/coq-8.3_p1/work/coq-8.3pl1'
make: *** [world] Error 2

[Comment 3 Thomas Kahle (RETIRED) 2011-01-09 19:35:31 UTC]

I emailed upstream about it, they are usually quite quick to respond and fix things.  They also have a public vcs which is not linked on the homepage. Just for reference:

https://gforge.inria.fr/plugins/scmgit/cgi-bin/gitweb.cgi?p=coq/coq-svn.git;a=summary

Quick scan there did not show a solution, though.

[Comment 4 Thomas Kahle (RETIRED) 2011-01-16 17:07:53 UTC]

(In reply to comment #2)
> seems good but fails to build here with ocaml 3.12 :(

Hi, it's me again.
Is that a actually a show stopper for the bump? 
-> Why is ocaml-3.12 still masked? (It is out of beta for some time.)
-> Is there a tracker bug for 3.12 replated breakage?
-> Does coq-8.3 patchlevel zero work with ocaml-3.12? (I can't really imagine that they introduced breakage with the patchlevel.)

[Comment 5 Alexis Ballier 2011-01-18 10:44:47 UTC]

(In reply to comment #4)
> (In reply to comment #2)
> > seems good but fails to build here with ocaml 3.12 :(
> 
> Hi, it's me again.
> Is that a actually a show stopper for the bump? 
> -> Why is ocaml-3.12 still masked? (It is out of beta for some time.)

because coq is not the only one to fail, needless to say I don't want to introduce more :)

> -> Is there a tracker bug for 3.12 replated breakage?

no, build failures assigned to ml@ are more or less your tracker :p

> -> Does coq-8.3 patchlevel zero work with ocaml-3.12? (I can't really imagine
> that they introduced breakage with the patchlevel.)

yes it does work

[Comment 6 Thomas Kahle (RETIRED) 2011-01-19 21:49:40 UTC]

Ok, I found it. It is a bug in camlp5:

http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=2468

Could you apply the patch there or tell me to do it myself.  I will then bump
coq.

[Comment 7 Alexis Ballier 2011-01-20 19:42:19 UTC]

bumped, thanks!