892235 – sci-mathematics/coq-serapi-0.16.2-r1 fails to compile

Bug 892235 - sci-mathematics/coq-serapi-0.16.2-r1 fails to compile

Summary: sci-mathematics/coq-serapi-0.16.2-r1 fails to compile

Status:	CONFIRMED

Alias:	None

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

Importance:	Normal normal (vote)
Assignee:	Gentoo Science Mathematics related packages

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2023-01-27 14:33 UTC by Agostino Sarubbo
Modified:	2023-01-27 14:33 UTC (History)
CC List:	1 user (show)

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

Attachments
build.log (build.log,52.07 KB, text/plain) 2023-01-27 14:33 UTC, Agostino Sarubbo	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 Agostino Sarubbo gentoo-dev

2023-01-27 14:33:47 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/coq-serapi-0.16.2-r1 fails to compile.
Discovered on: amd64 (internal ref: ci)

Comment 1 Agostino Sarubbo gentoo-dev

2023-01-27 14:33:49 UTC

Created attachment 849287 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2023-01-27 14:33:50 UTC

Error(s) that match a know pattern:


Error: Files /usr/lib64/ocaml/ppx_deriving_yojson/ppx_deriving_yojson.cmxa
Error: Files /usr/lib64/ocaml/ppx_import/ppx_import.cmxa