Bug 641528

Summary:	dev-util/coccinelle-1.0.6 USE=-ocamlopt should not install /usr/lib64/coccinelle/spgen/spgen.opt
Product:	Gentoo Linux	Reporter:	Jeroen Roovers (RETIRED) <jer>
Component:	Current packages	Assignee:	No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed>
Status:	RESOLVED OBSOLETE
Severity:	normal	Keywords:	PMASKED
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
See Also:	https://bugs.gentoo.org/show_bug.cgi?id=641526
Whiteboard:
Package list:		Runtime testing required:	---
Deadline:	2020-09-02

Description Jeroen Roovers (RETIRED) gentoo-dev

2017-12-18 08:15:53 UTC

/usr/lib64/coccinelle/spgen/spgen.opt should not be compiled or installed when USE=-ocamlopt, but when that's set it installs both /usr/lib64/coccinelle/spgen/spgen.opt and /usr/lib64/coccinelle/spgen/spgen.

Comment 1 Michał Górny archtester

2020-09-02 08:21:00 UTC

package removed.