* Package: sci-mathematics/agda-2.4.2.5 * Repository: gentoo * Maintainer: sci-mathematics@gentoo.org haskell@gentoo.org * USE: abi_x86_64 amd64 cpphs elibc_glibc kernel_linux stdlib userland_GNU * FEATURES: preserve-libs sandbox userpriv usersandbox >>> Unpacking source... >>> Unpacking Agda-2.4.2.5.tar.gz to /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work >>> Preparing source in /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5 ... >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5 ... * Using cabal-1.22.6.0. * Prepending /usr/lib64/ghc-7.10.2 to LD_LIBRARY_PATH /usr/bin/ghc -package Cabal-1.22.6.0 --make /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/Setup.hs -threaded -dynamic -o setup [1 of 1] Compiling Main ( /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/Setup.hs, /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/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.4.2.5/ghc-7.10.2 --datadir=/usr/share/ --datasubdir=agda-2.4.2.5/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-2.4.2.5 --verbose --enable-shared --enable-executable-dynamic --sysconfdir=/etc --disable-library-stripping --flags=cpphs Configuring Agda-2.4.2.5... Flags chosen: cpphs=True Dependency Agda ==2.4.2.5: using Agda-2.4.2.5 Dependency QuickCheck ==2.8.*: using QuickCheck-2.8.2 Dependency array >=0.4.0.1 && <0.6: using array-0.5.1.0 Dependency base >=4.6.0.1 && <4.9: using base-4.8.1.0 Dependency binary >=0.7.2.1 && <0.8: using binary-0.7.5.0 Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.4 Dependency bytestring >=0.10.0.2 && <0.11: using bytestring-0.10.6.0 Dependency containers >=0.5.0.0 && <0.6: using containers-0.5.6.2 Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1 Dependency deepseq >=1.3.0.1 && <1.5: using deepseq-1.4.1.1 Dependency directory >=1.2.0.1 && <1.3: using directory-1.2.2.0 Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1 Dependency equivalence >=0.2.5 && <0.4: using equivalence-0.3.1 Dependency filepath >=1.3.0.1 && <1.5: using filepath-1.4.0.0 Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.1 Dependency hashable >=1.2.1.0 && <1.3: using hashable-1.2.4.0 Dependency hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3: using hashtables-1.1.2.1 Dependency haskeline >=0.7.1.3 && <0.8: using haskeline-0.7.2.1 Dependency haskell-src-exts >=1.16.0.1 && <1.18: using haskell-src-exts-1.16.0.1 Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.2.1 Dependency parallel >=3.2.0.4 && <3.3: using parallel-3.2.1.0 Dependency pretty >=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2: using pretty-1.1.2.0 Dependency process >=1.1.0.2 && <1.3: using process-1.2.3.0 Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 Dependency template-haskell >=2.8.0.0 && <2.11: using template-haskell-2.10.0.0 Dependency text >=0.11.3.1 && <1.3: using text-1.2.2.0 Dependency time >=1.4.0.1 && <1.6: using time-1.5.0.1 Dependency transformers ==0.3.* || >=0.4.1.0 && <0.5: using transformers-0.4.3.0 Dependency transformers-compat >=0.3.3.3 && <0.5: using transformers-compat-0.4.0.4 Dependency unordered-containers >=0.2.5.0 && <0.3: using unordered-containers-0.2.6.0 Dependency xhtml >=3000.2.1 && <3000.3: using xhtml-3000.2.1 Dependency zlib >=0.4.0.1 && <0.6.1: using zlib-0.5.4.2 Using Cabal-1.22.6.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-2.4.2.5/ghc-7.10.2 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/agda-2.4.2.5/ghc-7.10.2 Documentation installed in: /usr/share/doc/agda-2.4.2.5 Configuration files installed in: /etc Using alex version 3.1.7 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.27.1 found on system at: /usr/bin/c2hs Using cpphs version 1.19.3 found on system at: /usr/bin/cpphs Using gcc version 5.3.0 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 Using hscolour version 1.22 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found Using pkg-config version 0.29 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-2.4.2.5/work/Agda-2.4.2.5 ... * Compiling GNU Emacs Elisp files ... In toplevel form: src/data/emacs-mode/agda-input.el:22:1:Warning: cl package required at runtime Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda-input.elc Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-abbrevs.elc Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-highlight.elc In toplevel form: src/data/emacs-mode/agda2-mode.el:17:1:Warning: cl package required at runtime Loading quail/latin-ltx... Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-mode.elc Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-queue.elc Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2.elc In toplevel form: src/data/emacs-mode/annotation.el:7:1:Warning: cl package required at runtime Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/annotation.elc In toplevel form: src/data/emacs-mode/eri.el:7:1:Warning: cl package required at runtime Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/eri.elc [ ok ] * Using cabal-1.22.6.0. * Prepending /usr/lib64/ghc-7.10.2 to LD_LIBRARY_PATH /usr/bin/ghc -package Cabal-1.22.6.0 --make /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/Setup.hs -threaded -dynamic -o 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.4.2.5/ghc-7.10.2 --datadir=/usr/share/ --datasubdir=agda-2.4.2.5/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-2.4.2.5 --verbose --enable-shared --enable-executable-dynamic --sysconfdir=/etc --disable-library-stripping Configuring Agda-2.4.2.5... Flags chosen: cpphs=True Dependency Agda ==2.4.2.5: using Agda-2.4.2.5 Dependency QuickCheck ==2.8.*: using QuickCheck-2.8.2 Dependency array >=0.4.0.1 && <0.6: using array-0.5.1.0 Dependency base >=4.6.0.1 && <4.9: using base-4.8.1.0 Dependency binary >=0.7.2.1 && <0.8: using binary-0.7.5.0 Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.4 Dependency bytestring >=0.10.0.2 && <0.11: using bytestring-0.10.6.0 Dependency containers >=0.5.0.0 && <0.6: using containers-0.5.6.2 Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1 Dependency deepseq >=1.3.0.1 && <1.5: using deepseq-1.4.1.1 Dependency directory >=1.2.0.1 && <1.3: using directory-1.2.2.0 Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1 Dependency equivalence >=0.2.5 && <0.4: using equivalence-0.3.1 Dependency filepath >=1.3.0.1 && <1.5: using filepath-1.4.0.0 Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.1 Dependency hashable >=1.2.1.0 && <1.3: using hashable-1.2.4.0 Dependency hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3: using hashtables-1.1.2.1 Dependency haskeline >=0.7.1.3 && <0.8: using haskeline-0.7.2.1 Dependency haskell-src-exts >=1.16.0.1 && <1.18: using haskell-src-exts-1.16.0.1 Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.2.1 Dependency parallel >=3.2.0.4 && <3.3: using parallel-3.2.1.0 Dependency pretty >=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2: using pretty-1.1.2.0 Dependency process >=1.1.0.2 && <1.3: using process-1.2.3.0 Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 Dependency template-haskell >=2.8.0.0 && <2.11: using template-haskell-2.10.0.0 Dependency text >=0.11.3.1 && <1.3: using text-1.2.2.0 Dependency time >=1.4.0.1 && <1.6: using time-1.5.0.1 Dependency transformers ==0.3.* || >=0.4.1.0 && <0.5: using transformers-0.4.3.0 Dependency transformers-compat >=0.3.3.3 && <0.5: using transformers-compat-0.4.0.4 Dependency unordered-containers >=0.2.5.0 && <0.3: using unordered-containers-0.2.6.0 Dependency xhtml >=3000.2.1 && <3000.3: using xhtml-3000.2.1 Dependency zlib >=0.4.0.1 && <0.6.1: using zlib-0.5.4.2 Using Cabal-1.22.6.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-2.4.2.5/ghc-7.10.2 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/agda-2.4.2.5/ghc-7.10.2 Documentation installed in: /usr/share/doc/agda-2.4.2.5 Configuration files installed in: /etc Using alex version 3.1.7 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar Using c2hs version 0.27.1 found on system at: /usr/bin/c2hs Using cpphs version 1.19.3 found on system at: /usr/bin/cpphs Using gcc version 5.3.0 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 Using hscolour version 1.22 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found Using pkg-config version 0.29 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 ./setup build Building Agda-2.4.2.5... Preprocessing library Agda-2.4.2.5... [ 1 of 294] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist/build/Agda/Utils/IORef.o ) [ 2 of 294] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o ) [ 3 of 294] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.o ) [ 4 of 294] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.o ) [ 5 of 294] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.o ) [ 6 of 294] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.o ) [ 7 of 294] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o ) [ 8 of 294] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.o ) [ 9 of 294] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o ) [ 10 of 294] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist/build/Agda/Utils/TestHelpers.o ) [ 11 of 294] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist/build/Agda/Utils/QuickCheck.o ) [ 12 of 294] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.o ) [ 13 of 294] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o ) [ 14 of 294] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.o ) [ 15 of 294] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist/build/Agda/Utils/Singleton.o ) [ 16 of 294] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist/build/Agda/Utils/ReadP.o ) [ 17 of 294] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o ) [ 18 of 294] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o ) [ 19 of 294] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.o ) [ 20 of 294] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.o ) [ 21 of 294] Compiling Paths_Agda ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o ) [ 22 of 294] Compiling Agda.Version ( src/full/Agda/Version.hs, dist/build/Agda/Version.o ) [ 23 of 294] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o ) [ 24 of 294] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.o ) [ 25 of 294] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o ) [ 26 of 294] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o ) [ 27 of 294] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o ) [ 28 of 294] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.o ) [ 29 of 294] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist/build/Agda/Utils/Empty.o ) [ 30 of 294] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist/build/Agda/Utils/AssocList.o ) [ 31 of 294] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.o ) [ 32 of 294] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.o ) [ 33 of 294] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, dist/build/Agda/Utils/Lens.o ) [ 34 of 294] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, dist/build/Agda/Utils/Bag.o ) [ 35 of 294] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o ) [ 36 of 294] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o ) [ 37 of 294] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist/build/Agda/Utils/Lens/Examples.o ) [ 38 of 294] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist/build/Agda/Utils/Except.o ) [ 39 of 294] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.o ) [ 40 of 294] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist/build/Agda/Utils/Null.o ) [ 41 of 294] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o ) [ 42 of 294] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o ) [ 43 of 294] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.o ) [ 44 of 294] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o ) [ 45 of 294] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o ) [ 46 of 294] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o ) [ 47 of 294] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.o ) [ 48 of 294] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o ) [ 49 of 294] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o ) [ 50 of 294] Compiling Agda.TypeChecking.SizedTypes.Tests ( src/full/Agda/TypeChecking/SizedTypes/Tests.hs, dist/build/Agda/TypeChecking/SizedTypes/Tests.o ) [ 51 of 294] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.o ) [ 52 of 294] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.o ) [ 53 of 294] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist/build/Agda/Utils/Benchmark.o ) [ 54 of 294] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist/build/Agda/Benchmarking.o ) [ 55 of 294] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.o ) [ 56 of 294] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.o ) [ 57 of 294] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.o ) [ 58 of 294] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.o ) [ 59 of 294] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o ) [ 60 of 294] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.o ) [ 61 of 294] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist/build/Agda/Utils/ListT.o ) [ 62 of 294] Compiling Agda.Utils.ListT.Tests ( src/full/Agda/Utils/ListT/Tests.hs, dist/build/Agda/Utils/ListT/Tests.o ) [ 63 of 294] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.o ) [ 64 of 294] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.o ) [ 65 of 294] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.o ) [ 66 of 294] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.o ) [ 67 of 294] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.o ) [ 68 of 294] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist/build/Agda/Utils/HashMap.o ) src/full/Agda/Utils/HashMap.hs:3:5: Ambiguous occurrence ‘mapMaybe’ It could refer to either ‘Agda.Utils.HashMap.mapMaybe’, defined at src/full/Agda/Utils/HashMap.hs:17:1 or ‘HashMap.mapMaybe’, imported from ‘Data.HashMap.Strict’ at src/full/Agda/Utils/HashMap.hs:8:1-37 src/full/Agda/Utils/HashMap.hs:3:5: Conflicting exports for ‘mapMaybe’: ‘module HashMap’ exports ‘HashMap.mapMaybe’ imported from ‘Data.HashMap.Strict’ at src/full/Agda/Utils/HashMap.hs:8:1-37 ‘mapMaybe’ exports ‘Agda.Utils.HashMap.mapMaybe’ defined at src/full/Agda/Utils/HashMap.hs:17:1 src/full/Agda/Utils/HashMap.hs:4:5: Ambiguous occurrence ‘alter’ It could refer to either ‘Agda.Utils.HashMap.alter’, defined at src/full/Agda/Utils/HashMap.hs:23:1 or ‘HashMap.alter’, imported from ‘Data.HashMap.Strict’ at src/full/Agda/Utils/HashMap.hs:8:1-37 src/full/Agda/Utils/HashMap.hs:4:5: Conflicting exports for ‘alter’: ‘module HashMap’ exports ‘HashMap.alter’ imported from ‘Data.HashMap.Strict’ at src/full/Agda/Utils/HashMap.hs:8:1-37 ‘alter’ exports ‘Agda.Utils.HashMap.alter’ defined at src/full/Agda/Utils/HashMap.hs:23:1 * ERROR: sci-mathematics/agda-2.4.2.5::gentoo failed (compile phase): * setup build failed * * Call stack: * ebuild.sh, line 133: Called src_compile * environment, line 3157: Called haskell-cabal_src_compile * environment, line 2266: Called cabal_src_compile * environment, line 852: Called cabal-build * environment, line 601: Called die * The specific snippet of code: * ./setup "$@" || die "setup build failed" * * If you need support, post the output of `emerge --info '=sci-mathematics/agda-2.4.2.5::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/agda-2.4.2.5::gentoo'`. * The complete build log is located at '/var/log/portage/sci-mathematics:agda-2.4.2.5:20160208-180231.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5' * S: '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5'