352174 – please apply a fix to camlp5-6.02.1

Bug 352174 - please apply a fix to camlp5-6.02.1

Summary: please apply a fix to camlp5-6.02.1

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

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

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:	350145
	Show dependency tree

Reported:	2011-01-19 21:47 UTC by Thomas Kahle (RETIRED)
Modified:	2011-01-20 19:40 UTC (History)
CC List:	0 users

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

Attachments
patch (camlp5-Fix-regression-in-pretty-printing-of-labelled-argume.patch,648 bytes, patch) 2011-01-19 21:53 UTC, Olivier Huber	Details \| Diff
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 Thomas Kahle (RETIRED) gentoo-dev

2011-01-19 21:47:45 UTC

Hi, to fix build failres with sci-mathematics/coq we need the following patch applied: (Sorry for inline, that is the way it was posted here: http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=2468 )

Thanks already.

Index: etc/pr_o.ml
===================================================================
RCS file: /home/ROCQ/aosteroc/deraugla/repository/camlp5/etc/pr_o.ml,v
retrieving revision 6.48
retrieving revision 6.49
diff -r6.48 -r6.49
2c2
< (* $Id: pr_o.ml,v 6.48 2010-11-21 17:17:45 deraugla Exp $ *)
---
> (* $Id: pr_o.ml,v 6.49 2010-12-06 10:31:00 deraugla Exp $ *)
2083c2083
<   | None -> patt pc p ]
---
>   | None -> pprintf pc "~%p" patt p ]


Reproducible: Always

Comment 1 Olivier Huber 2011-01-19 21:53:00 UTC

Created attachment 260297 [details, diff]
patch

the same patch, from debian

Comment 2 Alexis Ballier gentoo-dev

2011-01-20 19:40:38 UTC

applied in -r1, thanks