Created
January 26, 2016 20:10
-
-
Save turion/65242c40177b85cb0dbf to your computer and use it in GitHub Desktop.
agda-2.4.2.5 build.log
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| * Package: sci-mathematics/agda-2.4.2.5 | |
| * Repository: haskell | |
| * Maintainer: [email protected] [email protected] | |
| * USE: abi_x86_64 amd64 cpphs doc elibc_glibc hoogle 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 ... | |
| * CHDEP: 'zlib >= 0.4.0.1 && < 0.6.1' -> 'zlib >= 0.4.0.1' | |
| >>> 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.3 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.3 --datadir=/usr/share/ --datasubdir=agda-2.4.2.5/ghc-7.10.3 --with-haddock=/usr/bin/haddock-ghc-7.10.3 --ghc-option=-j4 --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.2.0 | |
| Dependency binary >=0.7.2.1 && <0.8: using binary-0.7.6.1 | |
| 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.2 | |
| Dependency hashable >=1.2.1.0 && <1.3: using hashable-1.2.3.3 | |
| Dependency hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3: using | |
| hashtables-1.2.1.0 | |
| 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.17.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.7: using zlib-0.5.4.2 | |
| Using Cabal-1.22.6.0 compiled by ghc-7.10 | |
| Using compiler: ghc-7.10.3 | |
| Using install prefix: /usr | |
| Binaries installed in: /usr/bin | |
| Libraries installed in: /usr/lib64/agda-2.4.2.5/ghc-7.10.3 | |
| Private binaries installed in: /usr/libexec | |
| Data files installed in: /usr/share/agda-2.4.2.5/ghc-7.10.3 | |
| 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 | |
| No c2hs found | |
| 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.3 given by user at: /usr/bin/ghc | |
| Using ghc-pkg version 7.10.3 given by user at: /usr/bin/ghc-pkg | |
| No ghcjs found | |
| No ghcjs-pkg found | |
| No greencard found | |
| Using haddock version 2.16.1 given by user at: /usr/bin/haddock-ghc-7.10.3 | |
| 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 ... | |
| ./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 | |
| [ 69 of 294] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.o ) | |
| [ 70 of 294] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.o ) | |
| [ 71 of 294] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.o ) | |
| [ 72 of 294] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.o ) | |
| [ 73 of 294] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.o ) | |
| [ 74 of 294] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist/build/Agda/Compiler/JS/Case.o ) | |
| [ 75 of 294] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist/build/Agda/Compiler/JS/Parser.o ) | |
| [ 76 of 294] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist/build/Agda/Utils/Warshall.o ) | |
| [ 77 of 294] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.o ) | |
| [ 78 of 294] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.o-boot ) | |
| [ 79 of 294] Compiling Agda.Syntax.Fixity[boot] ( src/full/Agda/Syntax/Fixity.hs-boot, dist/build/Agda/Syntax/Fixity.o-boot ) | |
| [ 80 of 294] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.o ) | |
| [ 81 of 294] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.o ) | |
| [ 82 of 294] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist/build/Agda/TypeChecking/Coverage/SplitTree.o ) | |
| [ 83 of 294] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.o ) | |
| [ 84 of 294] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.o ) | |
| [ 85 of 294] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.o ) | |
| [ 86 of 294] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.o ) | |
| [ 87 of 294] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.o ) | |
| [ 88 of 294] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.o ) | |
| [ 89 of 294] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist/build/Agda/Utils/Geniplate.o ) | |
| [ 90 of 294] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.o ) | |
| [ 91 of 294] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.o ) | |
| [ 92 of 294] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist/build/Agda/Syntax/Concrete/Generic.o ) | |
| [ 93 of 294] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.o ) | |
| [ 94 of 294] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.o ) | |
| [ 95 of 294] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.o ) | |
| [ 96 of 294] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.o ) | |
| [ 97 of 294] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.o ) | |
| [ 98 of 294] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.o-boot ) | |
| [ 99 of 294] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.o ) | |
| [100 of 294] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.o-boot ) | |
| [101 of 294] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.o ) | |
| [102 of 294] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.o ) | |
| [103 of 294] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.o ) | |
| [104 of 294] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.o ) | |
| [105 of 294] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.o ) | |
| [106 of 294] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.o ) | |
| [107 of 294] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist/build/Agda/Syntax/Parser.o ) | |
| [108 of 294] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist/build/Agda/Interaction/Exceptions.o ) | |
| [109 of 294] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist/build/Agda/TypeChecking/Positivity/Occurrence.o ) | |
| [110 of 294] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional.Tests ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional/Tests.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional/Tests.o ) | |
| [111 of 294] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.o ) | |
| [112 of 294] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.o ) | |
| [113 of 294] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.o ) | |
| [114 of 294] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o ) | |
| [115 of 294] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist/build/Agda/Compiler/Epic/Interface.o ) | |
| [116 of 294] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist/build/Agda/Compiler/Epic/AuxAST.o ) | |
| [117 of 294] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.o ) | |
| [118 of 294] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist/build/Agda/Syntax/Internal/Defs.o ) | |
| [119 of 294] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.o ) | |
| [120 of 294] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist/build/Agda/TypeChecking/Free/Lazy.o ) | |
| [121 of 294] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.o ) | |
| [122 of 294] Compiling Agda.TypeChecking.Free.Old ( src/full/Agda/TypeChecking/Free/Old.hs, dist/build/Agda/TypeChecking/Free/Old.o ) | |
| [123 of 294] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.o ) | |
| [246 of 294] Compiling Agda.Utils.Permutation.Tests ( src/full/Agda/Utils/Permutation/Tests.hs, dist/build/Agda/Utils/Permutation/Tests.o ) | |
| [254 of 294] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist/build/Agda/TypeChecking/Coverage/Match.o ) | |
| * ERROR: sci-mathematics/agda-2.4.2.5::haskell failed (compile phase): | |
| * setup build failed | |
| * | |
| * Call stack: | |
| * ebuild.sh, line 133: Called src_compile | |
| * environment, line 3074: Called haskell-cabal_src_compile | |
| * environment, line 2178: Called cabal_src_compile | |
| * environment, line 821: Called cabal-build | |
| * environment, line 570: 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::haskell'`, | |
| * the complete build log and the output of `emerge -pqv '=sci-mathematics/agda-2.4.2.5::haskell'`. | |
| * The complete 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' |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment