* Detected file collision(s): * * /usr/lib64/coq * * Searching all installed packages for file collisions... * * Press Ctrl-C to Stop * * sci-mathematics/coq-8.12.0-r2:0::gentoo * /usr/lib64/coq * * Package 'sci-mathematics/coq-8.17.0' NOT merged since it has one or * more collisions between symlinks and directories, which is explicitly * forbidden by PMS section 13.4 (see bug #326685). If necessary, refer * to your elog messages for the whole content of the above message. * * The following package has failed to build, install, or execute postinst: * * (sci-mathematics/coq-8.17.0:0/8.17.0::gentoo, ebuild scheduled for merge), Log file: * '/var/tmp/portage/sci-mathematics/coq-8.17.0/temp/build.log' Looking for anything that could be related: # qfile -o /usr/lib64/coq/* # qfile -o /usr/lib64/coq/*/* # qfile -o /usr/lib64/coq/*/*/* # qfile -o /usr/lib64/coq/*/*/*/* # qfile -o /usr/lib64/coq/*/*/*/*/* # qfile -o /usr/lib64/coq/*/*/*/*/*/* /usr/lib64/coq/*/*/*/*/*/* # ls -ld /usr/lib64/coq drwxr-xr-x 1 root root 338 Jun 2 06:44 /usr/lib64/coq # ls -l /var/tmp/portage/sci-mathematics/coq-8.17.0/image/usr/lib64/coq lrwxrwxrwx 1 root root 20 Jul 12 10:32 /var/tmp/portage/sci-mathematics/coq-8.17.0/image/usr/lib64/coq -> /usr/lib64/ocaml/coq Reproducible: Always Steps to Reproduce: 1. emerge -avuDN --keep-going @world 2. ??? 3. Profit Actual Results: coq install fails Expected Results: nothing fails # emerge --info Portage 3.0.49 (python 3.11.4-final-0, default/linux/amd64/17.1/desktop/plasma, gcc-12, glibc-2.37-r3, 6.1.31-gentoo x86_64) ================================================================= System uname: Linux-6.1.31-gentoo-x86_64-Intel-R-_Core-TM-_i7-3770K_CPU_@_3.50GHz-with-glibc2.37 KiB Mem: 32835876 total, 3112028 free KiB Swap: 33554428 total, 33552368 free Timestamp of repository gentoo: Wed, 12 Jul 2023 08:00:01 +0000 Head commit of repository gentoo: c3da746c188a4ed2ec40d3b3384b6f82acb30ee7 Timestamp of repository ROKO__: Wed, 12 Jul 2023 06:31:45 +0000 Head commit of repository ROKO__: 0fc2d6766a253beffc2a33750bfd2ddee9f10ed5 Timestamp of repository sage-on-gentoo: Tue, 11 Jul 2023 00:01:41 +0000 Head commit of repository sage-on-gentoo: e529c179dc2ab1d28cbf773d9ed673237eeb0d9c Timestamp of repository torbrowser: Sun, 09 Jul 2023 16:46:42 +0000 Head commit of repository torbrowser: 5bef6db8dcb513ee34f1fd584f9e97d96978f860 sh bash 5.1_p16-r6 ld GNU ld (Gentoo 2.39 p6) 2.39.0 ccache version 4.8.2 [disabled] app-misc/pax-utils: 1.3.5::gentoo app-shells/bash: 5.1_p16-r6::gentoo dev-java/java-config: 2.3.1-r1::gentoo dev-lang/perl: 5.36.1-r2::gentoo dev-lang/python: 3.10.12::gentoo, 3.11.4::gentoo dev-lang/rust: 1.69.0-r1::gentoo dev-util/ccache: 4.8.2::gentoo dev-util/cmake: 3.26.4-r1::gentoo dev-util/meson: 1.1.1::gentoo sys-apps/baselayout: 2.13-r1::gentoo sys-apps/openrc: 0.46::gentoo sys-apps/sandbox: 2.32::gentoo sys-devel/autoconf: 2.13-r7::gentoo, 2.71-r6::gentoo sys-devel/automake: 1.15.1-r2::gentoo, 1.16.5::gentoo sys-devel/binutils: 2.39-r5::gentoo, 2.40-r5::gentoo sys-devel/binutils-config: 5.5::gentoo sys-devel/clang: 15.0.7-r1::gentoo, 16.0.5::gentoo sys-devel/gcc: 6.5.0-r3::gentoo, 7.5.0-r1::gentoo, 8.4.0-r2::gentoo, 9.3.0-r2::gentoo, 10.4.1_p20230426-r1::gentoo, 11.3.1_p20230427::gentoo, 12.3.1_p20230526::gentoo sys-devel/gcc-config: 2.11::gentoo sys-devel/libtool: 2.4.7-r1::gentoo sys-devel/lld: 15.0.7::gentoo sys-devel/llvm: 14.0.6-r4::gentoo, 15.0.7-r3::gentoo, 16.0.5::gentoo sys-devel/make: 4.4.1-r1::gentoo sys-kernel/linux-headers: 6.1::gentoo (virtual/os-headers) sys-libs/glibc: 2.37-r3::gentoo Repositories: gentoo location: /usr/portage sync-type: rsync sync-uri: rsync://rsync.gentoo.org/gentoo-portage priority: -1000 volatile: True sync-rsync-verify-max-age: 24 sync-rsync-verify-metamanifest: yes sync-rsync-extra-opts: sync-rsync-verify-jobs: 1 My_local_repo location: /usr/local/portage masters: gentoo priority: 0 volatile: True ROKO__ location: /var/db/repos/ROKO__ sync-type: git sync-uri: https://github.com/gentoo-mirror/ROKO__.git masters: gentoo volatile: False sage-on-gentoo location: /var/db/repos/sage-on-gentoo sync-type: git sync-uri: https://github.com/gentoo-mirror/sage-on-gentoo.git masters: gentoo volatile: False torbrowser location: /var/db/repos/torbrowser sync-type: git sync-uri: https://github.com/gentoo-mirror/torbrowser.git masters: gentoo volatile: False ACCEPT_KEYWORDS="amd64" ACCEPT_LICENSE="* -@EULA android" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-march=native -O2 -pipe -g" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/lib/X11/xkb /usr/lib64/libreoffice/program/sofficerc /usr/share/config /usr/share/gnupg/qualified.txt" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/dconf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/php/apache2-php7.4/ext-active/ /etc/php/apache2-php8.1/ext-active/ /etc/php/cgi-php7.4/ext-active/ /etc/php/cgi-php8.1/ext-active/ /etc/php/cli-php7.4/ext-active/ /etc/php/cli-php8.1/ext-active/ /etc/php/fpm-php7.4/ext-active/ /etc/php/fpm-php8.1/ext-active/ /etc/php/phpdbg-php7.4/ext-active/ /etc/php/phpdbg-php8.1/ext-active/ /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo /etc/texmf/language.dat.d /etc/texmf/language.def.d /etc/texmf/updmap.d /etc/texmf/web2c" CXXFLAGS="-march=native -O2 -pipe -g" DISTDIR="/usr/portage/distfiles" ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GDK_PIXBUF_MODULE_FILE GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR XDG_STATE_HOME" FCFLAGS="-O2 -pipe" FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs buildpkg-live config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms splitdebug strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" FFLAGS="-O2 -pipe" GENTOO_MIRRORS=" http://ftp.snt.utwente.nl/pub/os/linux/gentoo http://mirror.leaseweb.com/gentoo/ " LANG="en_US.UTF8" LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,-O1" LEX="flex" LINGUAS="en da it pt pt_BR" MAKEOPTS="-j8" PKGDIR="/usr/portage/packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git" PORTAGE_TMPDIR="/var/tmp" SHELL="/bin/bash" USE="3dnow 3dnowext X a52 aac aalib acl acpi activities alisp alsa amd64 apache2 apng ares bash-completion bazaar bdf bluetooth branding bzip2 cairo cdda cdr cli crypt css cups curl cvs d dav1d dbus dec_av2 declarative dhcp djvu dk doc dri dts dvd dvdr dvipdfm ebook editor elogind emoticons-manager encode epub eselect-ldso exif expat extensions extra ffmpeg flac fluidsynth fontconfig foomaticdb fortran g3dvl gcj gd gdbm geoip gif git gles gles1 gles2 glitz gmp go gpm graphite graphviz gtk gui iconv icu imlib ipv6 irda ithreads jadetex java jpeg jpeg2k kde kerberos kompare kpathsea kwallet lcms libcaca libnotify libtirpc live llvm logitech-mouse lto lzma mad mercurial midi mikmod mjpeg mmxext mng mobi mod mozilla mp2 mp3 mp4 mpeg msn mudflap multilib multitarget mysql ncurses net45 network nls nodrm nptl nsplugin objc objc++ objc-gc offensive ogg ogre ois opengl openmp otr pam pango pcre pdf pipewire plasma plotutils png policykit povray ppds pulseaudio qml qt5 qthelp rav1e readline rle rtmp samba scanner screencast sdl se_swedb seccomp semantic-desktop server sift sip sndfile solver sound speex spell split-usr sql ssl ssse3 startup-notification subversion svg test-rust tga theora threads tiff timidity tk tokenizer truetype udev udisks unicode upower usb v4l v4l2 vcd video videos vnc vorbis vpx vulkan wav wayland webkit widgets wma wxwidgets x264 x265 xattr xcb xcomposite xft xine xml xscreensaver xv xvid xvmc zip zlib zstd" ABI_X86="64" ADA_TARGET="gnat_2021" APACHE2_MODULES="*" CALLIGRA_FEATURES="karbon sheets words" COLLECTD_PLUGINS="df interface irq load memory rrdtool swap syslog" CPU_FLAGS_X86="aes avx mmx mmxext popcnt sse sse2 sse3 sse4_1 sse4_2 ssse3" ELIBC="glibc" GPSD_PROTOCOLS="ashtech aivdm earthmate evermore fv18 garmin garmintxt gpsclock greis isync itrax mtk3301 nmea ntrip navcom oceanserver oldstyle oncore rtcm104v2 rtcm104v3 sirf skytraq superstar2 timing tsip tripmate tnt ublox ubx" INPUT_DEVICES="evdev libinput" KERNEL="linux" L10N="da en it pt pt-BR" LCD_DEVICES="bayrad cfontz cfontz633 glk hd44780 lb216 lcdm001 mtxorb ncurses text" LIBREOFFICE_EXTENSIONS="presenter-console presenter-minimizer" LUA_SINGLE_TARGET="lua5-1" LUA_TARGETS="lua5-1" OFFICE_IMPLEMENTATION="libreoffice" PHP_TARGETS="php8-1" POSTGRES_TARGETS="postgres12 postgres13" PYTHON_SINGLE_TARGET="python3_11" PYTHON_TARGETS="python3_11" RUBY_TARGETS="ruby31" VIDEO_CARDS="v4l vesa vga intel radeon r600" XTABLES_ADDONS="quota2 psd pknock lscan length2 ipv4options ipset ipp2p iface geoip fuzzy condition tee tarpit sysrq proto steal rawnat logmark ipmark dhcpmac delude chaos account" Unset: ADDR2LINE, AR, ARFLAGS, AS, ASFLAGS, CC, CCLD, CONFIG_SHELL, CPP, CPPFLAGS, CTARGET, CXX, CXXFILT, ELFEDIT, EMERGE_DEFAULT_OPTS, EXTRA_ECONF, F77FLAGS, FC, GCOV, GPROF, INSTALL_MASK, LC_ALL, LD, LFLAGS, LIBTOOL, MAKE, MAKEFLAGS, NM, OBJCOPY, OBJDUMP, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, RANLIB, READELF, RUSTFLAGS, SIZE, STRINGS, STRIP, YACC, YFLAGS
Possibly related: bug 904150
Can you include the full build.log please? thanks
Created attachment 865393 [details] build.log.xz
Coq >=8.17.0 will install correctly if you first unmerge old Coq install. Sorry, we have to do this poor-man's migration because dune will install Coq to `/usr/lib64/ocaml/coq` but we also need `/usr/lib64/coq` for pkgs that depend on it!
I guess we might try to reverse the symlink but this might complicate things very much.
We can mangle in pkg_preinst.
(In reply to Sam James from comment #6) > We can mangle in pkg_preinst. How, since coq-mathcomp installs there? > /usr/lib64/coq/user-contrib/mathcomp/ssreflect/.coq-native/Nmathcomp_ssreflect_ssrnat.cmx
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=77b45431c0630096031a3350e5040b7d11ddb559 commit 77b45431c0630096031a3350e5040b7d11ddb559 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-07-15 21:51:05 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-07-15 22:17:01 +0000 sci-mathematics/coq: add pkg_preinst upgrade from 8.12 Closes: https://bugs.gentoo.org/910236 Signed-off-by: Maciej Barć <xgqt@gentoo.org> sci-mathematics/coq/coq-8.15.2.ebuild | 9 +++++++++ sci-mathematics/coq/coq-8.16.1.ebuild | 9 +++++++++ sci-mathematics/coq/coq-8.17.0.ebuild | 9 +++++++++ sci-mathematics/coq/coq-8.17.1.ebuild | 9 +++++++++ 4 files changed, 36 insertions(+)
Happened again somehow. I do have 8.12.0-r2(0/8.12.0) installed, and I see the pkg_preinst block in /usr/portage/sci-mathematics/coq/coq-8.17.0.ebuild, so I'm not sure why it didn't work for me.
(In reply to Cyp from comment #9) > Happened again somehow. > > I do have 8.12.0-r2(0/8.12.0) installed, and I see the pkg_preinst block in > /usr/portage/sci-mathematics/coq/coq-8.17.0.ebuild, so I'm not sure why it > didn't work for me. Please post the full build log of this new failure.
Investigating further, the pkg_preinst call is ok **but** because it fails on INSTPREP, which happens **before** PREINST we can do nothing to the OS filesystem.
