Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 912456 - dev-lang/idris2 fails to install with or without FEATURES="-xattr" - install-xattr: setxattr() failed: Operation not permitted
Summary: dev-lang/idris2 fails to install with or without FEATURES="-xattr" - install-...
Status: UNCONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Scheme Project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-08-18 13:23 UTC by Luke A. Guest
Modified: 2023-08-20 20:34 UTC (History)
0 users

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Luke A. Guest 2023-08-18 13:23:06 UTC
# emerge -av =dev-lang/idris2-0.5.1_p20220920

These are the packages that would be merged, in order:

Calculating dependencies... done!
Dependency resolution took 118.74 s.

[ebuild     UD ] dev-lang/idris2-0.5.1_p20220920::gentoo [9999::lucretia] USE="racket -chez -doc -test-full" 6,261 KiB

Total: 1 package (1 downgrade), Size of downloads: 6,261 KiB

Would you like to merge these packages? [Yes/No] 

>>> Verifying ebuild manifests

>>> Emerging (1 of 1) dev-lang/idris2-0.5.1_p20220920::gentoo
>>> Downloading 'ftp://mirror.yandex.ru/gentoo-distfiles/distfiles/35/idris2-0.5.1_p20220920.tar.gz'
pathconf: Permission denied
--2023-08-18 11:41:08--  ftp://mirror.yandex.ru/gentoo-distfiles/distfiles/35/idris2-0.5.1_p20220920.tar.gz
           => ‘/usr/portage/distfiles/idris2-0.5.1_p20220920.tar.gz.__download__’
Resolving mirror.yandex.ru... 213.180.204.183, 2a02:6b8::183
Connecting to mirror.yandex.ru|213.180.204.183|:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD (1) /gentoo-distfiles/distfiles/35 ... done.
==> SIZE idris2-0.5.1_p20220920.tar.gz ... 6410473
==> PASV ... done.    ==> RETR idris2-0.5.1_p20220920.tar.gz ... done.
Length: 6410473 (6.1M) (unauthoritative)

idris2-0.5.1_p20220 100%[===================>]   6.11M  7.82MB/s    in 0.8s    

2023-08-18 11:41:09 (7.82 MB/s) - ‘/usr/portage/distfiles/idris2-0.5.1_p20220920.tar.gz.__download__’ saved [6410473]

 * idris2-0.5.1_p20220920.tar.gz BLAKE2B SHA512 size ;-) ...                                                                                                       [ ok ]
>>> Unpacking source...
>>> Unpacking idris2-0.5.1_p20220920.tar.gz to /var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work
>>> Source unpacked in /var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work
>>> Preparing source in /var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e ...
make -j6 SCHEME=racket bootstrap-racket -j1 
make[1]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e/support/c'
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o getline.o getline.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_directory.o idris_directory.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_file.o idris_file.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_memory.o idris_memory.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_net.o idris_net.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_signal.o idris_signal.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_support.o idris_support.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_system.o idris_system.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_term.o idris_term.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o idris_util.o idris_util.c
x86_64-pc-linux-gnu-ar rc libidris2_support.a getline.o idris_directory.o idris_file.o idris_memory.o idris_net.o idris_signal.o idris_support.o idris_system.o idris_term.o idris_util.o
x86_64-pc-linux-gnu-ranlib libidris2_support.a
x86_64-pc-linux-gnu-gcc -shared -o libidris2_support.so getline.o idris_directory.o idris_file.o idris_memory.o idris_net.o idris_signal.o idris_support.o idris_system.o idris_term.o idris_util.o -Wl,-O1 -Wl,--as-needed
make[1]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e/support/c'
make[1]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e/support/refc'
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o buffer.o buffer.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o casts.o casts.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o clock.o clock.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o conCaseHelper.o conCaseHelper.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o mathFunctions.o mathFunctions.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o memoryManagement.o memoryManagement.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o prim.o prim.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o refc_util.o refc_util.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o runtime.o runtime.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o stringOps.o stringOps.c
x86_64-pc-linux-gnu-gcc -Wall -Wall -march=bdver2 -mtune=bdver2 -O2 -pipe -fPIC -fPIC   -c -o threads.o threads.c
x86_64-pc-linux-gnu-ar rc libidris2_refc.a buffer.o casts.o clock.o conCaseHelper.o mathFunctions.o memoryManagement.o prim.o refc_util.o runtime.o stringOps.o threads.o
x86_64-pc-linux-gnu-ranlib libidris2_refc.a
make[1]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e/support/refc'
make[1]: Entering directory '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e/support/chez'
# start library header
echo "(library (support) (export" > support-sep.ss
# print the list of exports
cat support.ss \
        | sed -n 's|(define (\?\([^ )]*\).*|\1|p' \
        >> support-sep.ss
echo ") (import (chezscheme))" >> support-sep.ss
# copy the code
cat support.ss >> support-sep.ss
# close the bracket
echo ") ; end of (library)" >> support-sep.ss
make[1]: Leaving directory '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e/support/chez'
mkdir -p bootstrap-build/idris2_app
cp support/c/libidris2_support.so bootstrap-build/idris2_app/
sed 's|__PREFIX__|/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e/bootstrap-build|g' \
        bootstrap/idris2_app/idris2.rkt \
        > bootstrap-build/idris2_app/idris2-boot.rkt
/bin/sh ./bootstrap-stage1-racket.sh
Bootstrapping IDRIS2_VERSION=0.5.1
Building idris2-boot from idris2-boot.rkt
install-xattr: setxattr() failed: Operation not permitted
make: *** [Makefile:260: bootstrap-racket] Error 1
 * ERROR: dev-lang/idris2-0.5.1_p20220920::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=dev-lang/idris2-0.5.1_p20220920::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-lang/idris2-0.5.1_p20220920::gentoo'`.
 * The complete build log is located at '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e'
 * S: '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e'

>>> Failed to emerge dev-lang/idris2-0.5.1_p20220920, Log file:

>>>  '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/temp/build.log'

 * Messages for package dev-lang/idris2-0.5.1_p20220920:

 * ERROR: dev-lang/idris2-0.5.1_p20220920::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=dev-lang/idris2-0.5.1_p20220920::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-lang/idris2-0.5.1_p20220920::gentoo'`.
 * The complete build log is located at '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e'
 * S: '/var/tmp/portage/dev-lang/idris2-0.5.1_p20220920/work/Idris2-1142f73e05fef6a57141b8328944b13872d4135e'
(failed reverse-i-search)`fea': less /etc/portage/package.^Catures/idris.features 

Reproducible: Always

Steps to Reproduce:
1. emerge -av dev-lang/idris2 # Any version, they all fail

Actual Results:  
Se above

Expected Results:  
I expect it to install

# zgrep -i security_ /proc/config.gz 
CONFIG_NFS_V4_SECURITY_LABEL=y
# CONFIG_NFSD_V4_SECURITY_LABEL is not set
# CONFIG_SECURITY_DMESG_RESTRICT is not set
CONFIG_SECURITY_NETWORK=y
# CONFIG_SECURITY_INFINIBAND is not set
# CONFIG_SECURITY_NETWORK_XFRM is not set
# CONFIG_SECURITY_PATH is not set
# CONFIG_SECURITY_SELINUX is not set
CONFIG_SECURITY_SMACK=y
# CONFIG_SECURITY_SMACK_BRINGUP is not set
# CONFIG_SECURITY_SMACK_NETFILTER is not set
# CONFIG_SECURITY_SMACK_APPEND_SIGNALS is not set
# CONFIG_SECURITY_TOMOYO is not set
# CONFIG_SECURITY_APPARMOR is not set
# CONFIG_SECURITY_LOADPIN is not set
# CONFIG_SECURITY_YAMA is not set
# CONFIG_SECURITY_SAFESETID is not set
# CONFIG_SECURITY_LOCKDOWN_LSM is not set
# CONFIG_SECURITY_LANDLOCK is not set
# CONFIG_DEFAULT_SECURITY_SMACK is not set
CONFIG_DEFAULT_SECURITY_DAC=y
Comment 1 Luke A. Guest 2023-08-18 16:16:46 UTC
My / is btrfs:

$ zgrep -i btrfs /proc/config.gz 
CONFIG_BTRFS_FS=y
CONFIG_BTRFS_FS_POSIX_ACL=y
# CONFIG_BTRFS_FS_CHECK_INTEGRITY is not set
# CONFIG_BTRFS_FS_RUN_SANITY_TESTS is not set
# CONFIG_BTRFS_DEBUG is not set
# CONFIG_BTRFS_ASSERT is not set
# CONFIG_BTRFS_FS_REF_VERIFY is not set