383825 – dev-ml/camlp5-6.02.3 stable request

Bug 383825 - dev-ml/camlp5-6.02.3 stable request

Summary: dev-ml/camlp5-6.02.3 stable request

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	[OLD] Keywording and Stabilization (show other bugs)
Hardware:	All Linux

Importance:	High enhancement (vote)
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:	STABLEREQ

Depends on:
Blocks:

Reported:	2011-09-20 13:05 UTC by Alexis Ballier
Modified:	2012-02-22 22:00 UTC (History)
CC List:	0 users

See Also:
Package list:
Runtime testing required:	---

Attachments
build.log (build.log,1.09 KB, text/plain) 2011-09-20 18:16 UTC, gentoo	Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Alexis Ballier gentoo-dev

2011-09-20 13:05:05 UTC

thx

Comment 1 Agostino Sarubbo gentoo-dev

2011-09-20 13:55:37 UTC

amd64 ok

Comment 2 gentoo 2011-09-20 18:16:56 UTC

Created attachment 287191 [details]
build.log

Comment 3 gentoo 2011-09-20 18:17:22 UTC

dev-ml/camlp5-5.14 (currently the stable version on amd64) does not compile with the new version of dev-lang/ocaml-3.12.1, which was just stabilised. Build log attached.
So one more reason to stabilise a newer version of dev-ml/camlp5 ;-)

Comment 4 Agostino Sarubbo gentoo-dev

2011-09-20 18:23:39 UTC

(In reply to comment #3)
> dev-ml/camlp5-5.14 (currently the stable version on amd64) does not compile
> with the new version of dev-lang/ocaml-3.12.1, which was just stabilised. Build
> log attached.
> So one more reason to stabilise a newer version of dev-ml/camlp5 ;-)

Thanks for report, set to HIGH

Comment 5 Tony Vroon (RETIRED) gentoo-dev

2011-09-20 21:16:18 UTC

+  20 Sep 2011; Tony Vroon <chainsaw@gentoo.org> camlp5-6.02.3.ebuild:
+  Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in bug
+  #383825.

Comment 6 Paweł Hajdan, Jr. (RETIRED) gentoo-dev

2011-10-01 03:26:26 UTC

x86 stable

Comment 7 Raúl Porcel (RETIRED) gentoo-dev

2011-12-18 17:33:12 UTC

sparc keyword dropped

Comment 8 Brent Baude (RETIRED) gentoo-dev

2012-02-22 22:00:53 UTC

ppc done; closing as last arch