Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 488150 - dev-libs/gecode-3.7.3 installs source code files in system root
Summary: dev-libs/gecode-3.7.3 installs source code files in system root
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Library (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-10-16 01:01 UTC by Jeremy Stent
Modified: 2016-09-29 10:17 UTC (History)
2 users (show)

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


Attachments
emerge --info (emergeinfo,57.19 KB, text/plain)
2013-10-16 01:05 UTC, Jeremy Stent
Details
CONTENTS file from /var/db/pkg/dev-libs/gecode-3.7.3/ (CONTENTS,625.76 KB, text/plain)
2013-10-16 01:06 UTC, Jeremy Stent
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Jeremy Stent 2013-10-16 01:01:19 UTC
The package dev-libs/gecode-3.7.3 installs source code files in the system root
Comment 1 Jeremy Stent 2013-10-16 01:05:26 UTC
Created attachment 360976 [details]
emerge --info
Comment 2 Jeremy Stent 2013-10-16 01:06:48 UTC
Created attachment 360978 [details]
CONTENTS file from /var/db/pkg/dev-libs/gecode-3.7.3/
Comment 3 Pacho Ramos gentoo-dev 2016-02-18 10:54:25 UTC
this was dropped at some point
Comment 4 Pacho Ramos gentoo-dev 2016-02-20 16:56:17 UTC
bleh, it's gecode, not geocode
Comment 5 Michael Orlitzky gentoo-dev 2016-08-01 12:53:24 UTC
I just pushed a new version 4.4.0 to the tree, and dropped the old 3.7.3. Can you please emerge the new one, and make sure that it installs things where it's supposed to?
Comment 6 Michael Palimaka (kensington) gentoo-dev 2016-09-29 10:17:27 UTC
Thanks, fixed in git.

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=16f2c13fa964bad248df33231fb2fff2a6b6e5ad