sci-mathematics:acl2-8.5:20230108-015554.log

sci-mathematics:acl2-8.5:20230108-015554.log (text/plain), 2.81 KB, created by Toralf Förster on 2023-01-08 10:40:06 UTC

 * Package:    sci-mathematics/acl2-8.5:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://github.com/acl2/acl2/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking acl2-8.5.tar.gz to /var/tmp/portage/sci-mathematics/acl2-8.5/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/acl2-8.5/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/acl2-8.5/work/acl2-8.5 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/acl2-8.5/work/acl2-8.5 ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/acl2-8.5/work/acl2-8.5 ...
make -j4 'LISP=sbcl --no-sysinit --no-userinit --disable-debugger' 
make[1]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.
Preparing to build saved_acl2 (log file make.log).
Compiling ... not performed for this host Lisp.
Bootstrapping, then saving executable (may take a few minutes) ... done.
Successfully built /var/tmp/portage/sci-mathematics/acl2-8.5/work/acl2-8.5/saved_acl2.
>>> Source compiled.
>>> Test phase [not enabled]: sci-mathematics/acl2-8.5

>>> Install sci-mathematics/acl2-8.5 into /var/tmp/portage/sci-mathematics/acl2-8.5/image
Traceback (most recent call last):
  File "/usr/lib/portage/python3.10/doins.py", line 609, in <module>
    sys.exit(main(sys.argv[1:]))
  File "/usr/lib/portage/python3.10/doins.py", line 598, in main
    if _doins(
  File "/usr/lib/portage/python3.10/doins.py", line 441, in _doins
    return install_runner.install_file(source, os.path.dirname(dest))
  File "/usr/lib/portage/python3.10/doins.py", line 375, in install_file
    return self._ins_runner.run(source, dest_dir)
  File "/usr/lib/portage/python3.10/doins.py", line 183, in run
    sstat = os.stat(source)
FileNotFoundError: [Errno 2] No such file or directory: b'TAGS'
 * ERROR: sci-mathematics/acl2-8.5::gentoo failed (install phase):
 *   doins failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/acl2-8.5::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/acl2-8.5::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:acl2-8.5:20230108-015554.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/acl2-8.5/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/acl2-8.5/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/acl2-8.5/work/acl2-8.5'
 * S: '/var/tmp/portage/sci-mathematics/acl2-8.5/work/acl2-8.5'
 * QA Notice: make jobserver unavailable:
 * 
 * 	make[1]: warning: jobserver unavailable: using -j1.  Add '+' to parent make rule.