Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 891759 - dev-lang/idris2-0.6.0 installs '.a' files without static-libs USE (LIBARCHIVE-SYSTEM)
Summary: dev-lang/idris2-0.6.0 installs '.a' files without static-libs USE (LIBARCHIVE...
Status: RESOLVED CANTFIX
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Scheme Project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: static-libs
  Show dependency tree
 
Reported: 2023-01-22 19:31 UTC by Agostino Sarubbo
Modified: 2023-01-23 11:38 UTC (History)
0 users

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

Attachments
build.log (build.log,288.93 KB, text/plain)
2023-01-22 19:31 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-22 19:31:02 UTC 
https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: dev-lang/idris2-0.6.0 installs '.a' files without static-libs USE (LIBARCHIVE-SYSTEM).
Discovered on: amd64 (internal ref: libarchive_tinderbox)

NOTE:
(LIBARCHIVE-SYSTEM) in the summary means that the bug was found on a machine that runs app-alternatives/tar and app-alternatives/cpio with [-gnu,+libarchive] but this bug MAY or MAY NOT BE related to the tar/cpio implementation.
https://projects.gentoo.org/qa/policy-guide/installed-files.html#pg0302.
Comment 1 Agostino Sarubbo gentoo-dev 2023-01-22 19:31:05 UTC 
Created attachment 849045 [details]
build.log

build log and emerge --info
Comment 2 Maciej Barć gentoo-dev 2023-01-23 11:38:23 UTC 
Those static libraries are used internally by Idris C compiler backed, when removed they will break a part of Idris2.

See: https://github.com/idris-lang/Idris2/blob/4bedaac81130ed4ccec4329cf633ade7e0372a89/src/Compiler/RefC/CC.idr#L91