* Package: sci-mathematics/agda-stdlib-2.4.2.3 * Repository: gentoo * Maintainer: sci-mathematics@gentoo.org haskell@gentoo.org * 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) --------------------------------------------------------------------------------