sci-mathematics:agda-2.5.2-r1:20171020-220245.log

sci-mathematics:agda-2.5.2-r1:20171020-220245.log (text/plain), 3.15 KB, created by Toralf Förster on 2017-10-21 08:41:21 UTC

 * Package:    sci-mathematics/agda-2.5.2-r1
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail]
 * USE:        abi_x86_64 amd64 cpphs elibc_glibc kernel_linux stdlib uhc userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking Agda-2.5.2.tar.gz to /var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work/Agda-2.5.2 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work/Agda-2.5.2 ...
 * Using cabal-1.24.2.0.
 * Prepending /usr/lib64/ghc-8.0.2 to LD_LIBRARY_PATH
/usr/bin/ghc -package Cabal-1.24.2.0 --make /var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work/Agda-2.5.2/Setup.hs -j1 +RTS -A256M -qb0 -RTS -threaded -dynamic -o setup
[1 of 1] Compiling Main             ( /var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work/Agda-2.5.2/Setup.hs, /var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work/Agda-2.5.2/Setup.o )
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-2.5.2/ghc-8.0.2 --datadir=/usr/share/ --datasubdir=agda-2.5.2/ghc-8.0.2 --ghc-options=-j1 +RTS -A256M -qb0 -RTS --with-ar=x86_64-pc-linux-gnu-ar --ghc-option=-optc-O2 --ghc-option=-optc-pipe --ghc-option=-optc-march=native --ghc-option=-optc-Wall --ghc-option=-optl-Wl,-O1 --ghc-option=-optl-Wl,--as-needed --disable-executable-stripping --docdir=/usr/share/doc/agda-2.5.2-r1 --verbose --enable-shared --enable-executable-dynamic --sysconfdir=/etc --disable-library-stripping --flags=cpphs --flags=-debug --flags=uhc
Configuring Agda-2.5.2...
setup: Encountered missing dependencies:
uhc-util >=0.1.6.3 && <0.1.6.7
 * ghc-pkg check: 'checking for other broken packages:'
 * ERROR: sci-mathematics/agda-2.5.2-r1::gentoo failed (configure phase):
 *   setup configure failed
 * 
 * Call stack:
 *     ebuild.sh, line  124:  Called src_configure
 *   environment, line 3187:  Called haskell-cabal_src_configure '--flags=cpphs' '--flags=-debug' '--flags=uhc'
 *   environment, line 2294:  Called cabal-configure '--flags=cpphs' '--flags=-debug' '--flags=uhc'
 *   environment, line  665:  Called cabal-show-brokens-and-die 'setup configure failed'
 *   environment, line  763:  Called die
 * The specific snippet of code:
 *       die "$@"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/agda-2.5.2-r1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/agda-2.5.2-r1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:agda-2.5.2-r1:20171020-220245.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/agda-2.5.2-r1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-2.5.2-r1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work/Agda-2.5.2'
 * S: '/var/tmp/portage/sci-mathematics/agda-2.5.2-r1/work/Agda-2.5.2'