sci-mathematics:agda-stdlib-2.4.2.3:20150901-043607.log

sci-mathematics:agda-stdlib-2.4.2.3:20150901-043607.log (text/plain), 6.76 KB, created by Toralf Förster on 2015-09-01 12:32:01 UTC

 * Package:    sci-mathematics/agda-stdlib-2.4.2.3
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc ffi kernel_linux userland_GNU
 * FEATURES:   preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking agda-stdlib-2.4.2.3.tar.gz to /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3 ...
removed ‘/var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/Setup.hs’
 * Creating 'Setup.hs' for 'Simple' build type.
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3 ...
 * Using cabal-1.22.4.0.
 * Prepending /usr/lib64/ghc-7.10.2 to LD_LIBRARY_PATH
/usr/bin/ghc -package Cabal-1.22.4.0 --make /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/Setup.hs -threaded -dynamic -o setup
[1 of 1] Compiling Main             ( /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/Setup.hs, /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/Setup.o )

/var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/Setup.hs:1:57: Warning:
    In the use of ‘defaultUserHooks’
    (imported from Distribution.Simple):
    Deprecated: "Use simpleUserHooks or autoconfUserHooks, unless you need Cabal-1.2
             compatibility in which case you must stick with defaultUserHooks"
Linking setup ...
./setup configure --ghc --prefix=/usr --with-compiler=/usr/bin/ghc --with-hc-pkg=/usr/bin/ghc-pkg --prefix=/usr --libdir=/usr/lib64 --libsubdir=agda-stdlib-2.4.2.3/ghc-7.10.2 --datadir=/usr/share/ --datasubdir=agda-stdlib-2.4.2.3/ghc-7.10.2 --ghc-option=-j1 --ghc-option=-optc-march=native --ghc-option=-optc-O2 --ghc-option=-optc-pipe --ghc-option=-optl-Wl,-O1 --ghc-option=-optl-Wl,--as-needed --disable-executable-stripping --docdir=/usr/share/doc/agda-stdlib-2.4.2.3 --verbose --enable-shared --enable-executable-dynamic --sysconfdir=/etc --disable-library-stripping
Warning: defaultUserHooks in Setup script is deprecated.
Configuring lib-0.9...
Dependency base >=4.5.0.0 && <4.9: using base-4.8.1.0
Dependency filemanip ==0.3.*: using filemanip-0.3.6.3
Dependency filepath >=1.3.0.0 && <1.5: using filepath-1.4.0.0
Using Cabal-1.22.4.0 compiled by ghc-7.10
Using compiler: ghc-7.10.2
Using install prefix: /usr
Binaries installed in: /usr/bin
Libraries installed in: /usr/lib64/agda-stdlib-2.4.2.3/ghc-7.10.2
Private binaries installed in: /usr/libexec
Data files installed in: /usr/share/agda-stdlib-2.4.2.3/ghc-7.10.2
Documentation installed in: /usr/share/doc/agda-stdlib-2.4.2.3
Configuration files installed in: /etc
Using alex version 3.1.4 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/ar
No c2hs found
Using cpphs version 1.19 found on system at: /usr/bin/cpphs
Using gcc version 4.9.3 found on system at: /usr/bin/gcc
Using ghc version 7.10.2 given by user at: /usr/bin/ghc
Using ghc-pkg version 7.10.2 given by user at: /usr/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
No haddock found
Using happy version 1.19.5 found on system at: /usr/bin/happy
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.67 found on system at: /usr/bin/hpc
Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs
No hscolour found
No jhc found
Using ld found on system at: /usr/bin/ld
No lhc found
No lhc-pkg found
Using pkg-config version 0.28 found on system at: /usr/bin/pkg-config
Using strip version 2.25 found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar
No uhc found
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3 ...
./setup build
Building lib-0.9...
Preprocessing executable 'GenerateEverything' for lib-0.9...
[1 of 1] Compiling Main             ( GenerateEverything.hs, dist/build/GenerateEverything/GenerateEverything-tmp/Main.dyn_o )
Linking dist/build/GenerateEverything/GenerateEverything ...
Preprocessing executable 'AllNonAsciiChars' for lib-0.9...
[1 of 1] Compiling Main             ( AllNonAsciiChars.hs, dist/build/AllNonAsciiChars/AllNonAsciiChars-tmp/Main.dyn_o )
Linking dist/build/AllNonAsciiChars/AllNonAsciiChars ...
 (null)*(null) (null)ACCESS DENIED(null):  open_wr:      /usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai
/usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai:
openBinaryFile: permission denied (Permission denied)
 * ERROR: sci-mathematics/agda-stdlib-2.4.2.3::gentoo failed (compile phase):
 *   (no error message)
 * 
 * Call stack:
 *     ebuild.sh, line  93:  Called src_compile
 *   environment, line 3029:  Called die
 * The specific snippet of code:
 *       agda +RTS -K1G -RTS ${prof} -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die;
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/agda-stdlib-2.4.2.3::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/agda-stdlib-2.4.2.3::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:agda-stdlib-2.4.2.3:20150901-043607.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3'
 * S: '/var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3'
 (null)*(null) --------------------------- ACCESS VIOLATION SUMMARY ---------------------------
 (null)*(null) LOG FILE: "/var/log/sandbox/sandbox-17639.log"
 (null)*(null) 
VERSION 1.0
FORMAT: F - Function called
FORMAT: S - Access Status
FORMAT: P - Path as passed to function
FORMAT: A - Absolute Path (not canonical)
FORMAT: R - Canonical Path
FORMAT: C - Command Line

F: open_wr
S: deny
P: /usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai
A: /usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai
R: /usr/share/agda-2.4.2.3/ghc-7.10.2/lib/prim/Agda/Primitive.agdai
C: agda +RTS -K1G -RTS -i /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3 -i /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/src /var/tmp/portage/sci-mathematics/agda-stdlib-2.4.2.3/work/agda-stdlib-2.4.2.3/Everything.agda 
 (null)*(null) --------------------------------------------------------------------------------