Build log

agda-1.0.2-r2:20091222-011653.log (text/plain), 20.52 KB, created by Diego Elio Pettenò (RETIRED) on 2009-12-22 21:52:02 UTC

 * CPV:  sci-mathematics/agda-1.0.2-r2
 * REPO: gentoo
 * USE:  elibc_glibc kernel_linux test userland_GNU x86
>>> Unpacking source...
>>> Unpacking Agda-1.0.2.tar.gz to /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work
 * Applying agda-make_install.patch ...
  [ ok ]
 * Applying agda-1.0.2-upstream-fixes.patch ...
  [ ok ]
>>> Source unpacked in /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work
>>> Compiling source in /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work/Agda-1.0.2 ...
 * econf: updating Agda-1.0.2/config.sub with /usr/share/gnuconfig/config.sub
 * econf: updating Agda-1.0.2/config.guess with /usr/share/gnuconfig/config.guess
./configure --prefix=/usr --build=i686-pc-linux-gnu --host=i686-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --enable-newsyntax
configure: loading site script /usr/share/config.site
configure: loading site script /usr/share/crossdev/include/site/linux
checking build system type... i686-pc-linux-gnu
checking host system type... i686-pc-linux-gnu
checking target system type... i686-pc-linux-gnu
checking for a BSD-compatible install... /usr/bin/install -c
checking for i686-pc-linux-gnu-ghc... no
checking for ghc... ghc
checking for i686-pc-linux-gnu-santa... no
checking for santa... no
checking for i686-pc-linux-gnu-gandalf... no
checking for gandalf... no
checking for autom4te... autom4te
checking for emacs... /usr/bin/emacs
checking if /usr/bin/emacs is XEmacs... no
checking if (X)Emacs is recent enough... yes
checking where lisp files go... ${datadir}/emacs/site-lisp, expanded to /usr/share/emacs/site-lisp
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/Makefile
config.status: creating src/Version.hs
config.status: creating elisp/Makefile
config.status: creating test/Makefile
config.status: creating test/atlocal
config.status: creating src/config.h
config.status: executing test/atconfig commands
make -j14 
make -C src 
make[1]: Entering directory `/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work/Agda-1.0.2/src'
cp BasicEngineOps.hi-boot out/BasicEngineOps.hi-boot
cp External.hi-boot out/External.hi-boot
cp Imitate.hi-boot out/Imitate.hi-boot
cp Typechecking.hi-boot out/Typechecking.hi-boot
rm -f out/External.hi out/External.o # workaround for a GHC bug
rm -f out/External.hi out/External.o # workaround for a GHC bug
rm -f out/Main.o
rm -f out/Main.o
ghc -fglasgow-exts -cpp -O -odir out -hidir out   --make -DSANTA='""' -DGANDALF='""'  -o agdachecker checker.hs
touch Version.hs
ghc -fglasgow-exts -cpp -O -odir out -hidir out   --make -DSANTA='""' -DGANDALF='""'  -o emacsagda emacsagda.hs

Typechecking.hs:50:22:
    Warning: {-# SOURCE #-} unnecessary in import of  `External'
[ 1 of 81] Compiling LoadPrelude      ( LoadPrelude.hs, out/LoadPrelude.o )
[ 2 of 81] Compiling Matrix           ( Matrix.hs, out/Matrix.o )

Typechecking.hs:50:22:
    Warning: {-# SOURCE #-} unnecessary in import of  `External'
[  2 of 108] Compiling Version          ( Version.hs, out/Version.o )
[  3 of 108] Compiling Matrix           ( Matrix.hs, out/Matrix.o )
[ 3 of 81] Compiling NoRec            ( NoRec.hs, out/NoRec.o )
[ 4 of 81] Compiling Plugins.FOL.Types ( Plugins/FOL/Types.hs, out/Plugins/FOL/Types.o )
[  4 of 108] Compiling Agsy.Debug       ( Agsy/Debug.hs, out/Agsy/Debug.o )
[  5 of 108] Compiling Agsy.Generic     ( Agsy/Generic.hs, out/Agsy/Generic.o )
[  6 of 108] Compiling Agsy.SearchTypes ( Agsy/SearchTypes.hs, out/Agsy/SearchTypes.o )
[  7 of 108] Compiling Agsy.StratInterface ( Agsy/StratInterface.hs, out/Agsy/StratInterface.o )
[  8 of 108] Compiling Agsy.CompInterface ( Agsy/CompInterface.hs, out/Agsy/CompInterface.o )
[ 5 of 81] Compiling Plugins.FOL.ExportSanta ( Plugins/FOL/ExportSanta.hs, out/Plugins/FOL/ExportSanta.o )
[ 6 of 81] Compiling Gensym           ( Gensym.hs, out/Gensym.o )
[ 7 of 81] Compiling MetaVars         ( MetaVars.hs, out/MetaVars.o )
[ 8 of 81] Compiling AgdaScans        ( AgdaScans.hs, out/AgdaScans.o )
[ 9 of 81] Compiling Hash             ( Hash.hs, out/Hash.o )
[10 of 81] Compiling Position         ( Position.hs, out/Position.o )
[11 of 81] Compiling AltIntMap        ( AltIntMap.hs, out/AltIntMap.o )
[12 of 81] Compiling AgdaPretty       ( AgdaPretty.hs, out/AgdaPretty.o )
[  9 of 108] Compiling Agsy.HelpFcns    ( Agsy/HelpFcns.hs, out/Agsy/HelpFcns.o )
[13 of 81] Compiling PPrint           ( PPrint.hs, out/PPrint.o )
[ 10 of 108] Compiling Agsy.SearchHelpFcns ( Agsy/SearchHelpFcns.hs, out/Agsy/SearchHelpFcns.o )
[14 of 81] Compiling AgdaTrace        ( AgdaTrace.hs, out/AgdaTrace.o )
[15 of 81] Compiling Parse            ( Parse.hs, out/Parse.o )
[16 of 81] Compiling BinParse         ( BinParse.hs, out/BinParse.o )
[17 of 81] Compiling Util             ( Util.hs, out/Util.o )
[18 of 81] Compiling Error            ( Error.hs, out/Error.o )
[19 of 81] Compiling FString          ( FString.hs, out/FString.o )
[20 of 81] Compiling Lex              ( Lex.hs, out/Lex.o )
[ 11 of 108] Compiling Agsy.StratAuto   ( Agsy/StratAuto.hs, out/Agsy/StratAuto.o )
[ 12 of 108] Compiling Agsy.Unify       ( Agsy/Unify.hs, out/Agsy/Unify.o )
[ 13 of 108] Compiling Agsy.RefineHelpFcns ( Agsy/RefineHelpFcns.hs, out/Agsy/RefineHelpFcns.o )
[ 14 of 108] Compiling Agsy.RefineCase  ( Agsy/RefineCase.hs, out/Agsy/RefineCase.o )
[21 of 81] Compiling PreStrings       ( PreStrings.hs, out/PreStrings.o )

PreStrings.hs:10:306:
    Warning: `fsHypTypeVar' is exported by `fsHypTypeVar' and `fsHypTypeVar'
[22 of 81] Compiling Monads           ( Monads.hs, out/Monads.o )
[23 of 81] Compiling Utilities        ( Utilities.hs, out/Utilities.o )
[24 of 81] Compiling PluginType       ( PluginType.hs, out/PluginType.o )
[25 of 81] Compiling ExternalCall     ( ExternalCall.hs, out/ExternalCall.o )
[26 of 81] Compiling Literal          ( Literal.hs, out/Literal.o )
[ 15 of 108] Compiling Agsy.SearchContext ( Agsy/SearchContext.hs, out/Agsy/SearchContext.o )
[27 of 81] Compiling Id               ( Id.hs, out/Id.o )
[ 16 of 108] Compiling Agsy.RefineElim  ( Agsy/RefineElim.hs, out/Agsy/RefineElim.o )
[28 of 81] Compiling CITrans          ( CITrans.hs, out/CITrans.o )
[29 of 81] Compiling ISynType         ( ISynType.hs, out/ISynType.o )
[ 17 of 108] Compiling Agsy.RefineIntro ( Agsy/RefineIntro.hs, out/Agsy/RefineIntro.o )
[ 18 of 108] Compiling Agsy.RefineAll   ( Agsy/RefineAll.hs, out/Agsy/RefineAll.o )
[ 19 of 108] Compiling Agsy.ProofSearch ( Agsy/ProofSearch.hs, out/Agsy/ProofSearch.o )
[ 20 of 108] Compiling Agsy.CompGeneric ( Agsy/CompGeneric.hs, out/Agsy/CompGeneric.o )
[30 of 81] Compiling ISynEnv          ( ISynEnv.hs, out/ISynEnv.o )
[31 of 81] Compiling External[boot]   ( External.hs-boot, out/External.o-boot )
[32 of 81] Compiling ISyntax          ( ISyntax.hs, out/ISyntax.o )
[ 21 of 108] Compiling NoRec            ( NoRec.hs, out/NoRec.o )
[ 22 of 108] Compiling Plugins.FOL.Types ( Plugins/FOL/Types.hs, out/Plugins/FOL/Types.o )

ISyntax.hs:40:10:
    Warning: Pattern match(es) are overlapped
             In a case alternative: (_) -> ...
[33 of 81] Compiling MetaVarState     ( MetaVarState.hs, out/MetaVarState.o )
[34 of 81] Compiling ProofState       ( ProofState.hs, out/ProofState.o )
[ 23 of 108] Compiling Plugins.FOL.ExportSanta ( Plugins/FOL/ExportSanta.hs, out/Plugins/FOL/ExportSanta.o )
[35 of 81] Compiling ProofMonad       ( ProofMonad.hs, out/ProofMonad.o )
[ 24 of 108] Compiling Gensym           ( Gensym.hs, out/Gensym.o )
[ 25 of 108] Compiling MetaVars         ( MetaVars.hs, out/MetaVars.o )
[ 26 of 108] Compiling Alfa.UAnnots     ( Alfa/UAnnots.hs, out/Alfa/UAnnots.o )
[36 of 81] Compiling Native           ( Native.hs, out/Native.o )
[37 of 81] Compiling Typechecking[boot] ( Typechecking.hs-boot, out/Typechecking.o-boot )
[38 of 81] Compiling BasicEngineOps[boot] ( BasicEngineOps.hs-boot, out/BasicEngineOps.o-boot )
[39 of 81] Compiling InteractionMonad ( InteractionMonad.hs, out/InteractionMonad.o )
[40 of 81] Compiling ExpToExp         ( ExpToExp.hs, out/ExpToExp.o )
[ 27 of 108] Compiling Alfa.UAbstract   ( Alfa/UAbstract.hs, out/Alfa/UAbstract.o )
[41 of 81] Compiling MiscId           ( MiscId.hs, out/MiscId.o )
[42 of 81] Compiling Plugins.PLUtil   ( Plugins/PLUtil.hs, out/Plugins/PLUtil.o )
[43 of 81] Compiling Eval             ( Eval.hs, out/Eval.o )
[44 of 81] Compiling Normalize        ( Normalize.hs, out/Normalize.o )

Alfa/UAbstract.hs:1:44:
    Warning: The export item `MetaVar(..)' suggests that
             `MetaVar' has (in-scope) constructors or class methods,
             but it has none
[ 28 of 108] Compiling AgdaScans        ( AgdaScans.hs, out/AgdaScans.o )
[45 of 81] Compiling Unfold1          ( Unfold1.hs, out/Unfold1.o )
[ 29 of 108] Compiling Hash             ( Hash.hs, out/Hash.o )
[46 of 81] Compiling Compute          ( Compute.hs, out/Compute.o )
[ 30 of 108] Compiling Position         ( Position.hs, out/Position.o )
[ 31 of 108] Compiling AltIntMap        ( AltIntMap.hs, out/AltIntMap.o )
[ 32 of 108] Compiling AgdaPretty       ( AgdaPretty.hs, out/AgdaPretty.o )
[47 of 81] Compiling UnfoldL          ( UnfoldL.hs, out/UnfoldL.o )
[ 33 of 108] Compiling PPrint           ( PPrint.hs, out/PPrint.o )
[48 of 81] Compiling NormalizeL       ( NormalizeL.hs, out/NormalizeL.o )
[ 34 of 108] Compiling AgdaTrace        ( AgdaTrace.hs, out/AgdaTrace.o )
[ 35 of 108] Compiling Parse            ( Parse.hs, out/Parse.o )
[49 of 81] Compiling ValueToExp       ( ValueToExp.hs, out/ValueToExp.o )
[50 of 81] Compiling ExternalPlugin   ( ExternalPlugin.hs, out/ExternalPlugin.o )
[51 of 81] Compiling Plugins.RegisterPrim ( Plugins/RegisterPrim.hs, out/Plugins/RegisterPrim.o )
[52 of 81] Compiling CSyntax          ( CSyntax.hs, out/CSyntax.o )
[ 36 of 108] Compiling BinParse         ( BinParse.hs, out/BinParse.o )
[ 37 of 108] Compiling Util             ( Util.hs, out/Util.o )
[ 38 of 108] Compiling Error            ( Error.hs, out/Error.o )
[ 39 of 108] Compiling FString          ( FString.hs, out/FString.o )
[ 40 of 108] Compiling Lex              ( Lex.hs, out/Lex.o )
[ 41 of 108] Compiling PreStrings       ( PreStrings.hs, out/PreStrings.o )

PreStrings.hs:10:306:
    Warning: `fsHypTypeVar' is exported by `fsHypTypeVar' and `fsHypTypeVar'
[ 42 of 108] Compiling Monads           ( Monads.hs, out/Monads.o )
[ 43 of 108] Compiling Utilities        ( Utilities.hs, out/Utilities.o )
[ 44 of 108] Compiling PluginType       ( PluginType.hs, out/PluginType.o )
[ 45 of 108] Compiling ExternalCall     ( ExternalCall.hs, out/ExternalCall.o )
[ 46 of 108] Compiling Parse_com        ( Parse_com.hs, out/Parse_com.o )

CSyntax.hs:308:4:
    Warning: Pattern match(es) are overlapped
             In the definition of `identifiers': identifiers _ = ...
[53 of 81] Compiling CPrinter         ( CPrinter.hs, out/CPrinter.o )
[ 47 of 108] Compiling Literal          ( Literal.hs, out/Literal.o )
[ 48 of 108] Compiling Id               ( Id.hs, out/Id.o )
[ 49 of 108] Compiling CITrans          ( CITrans.hs, out/CITrans.o )
[ 50 of 108] Compiling ISynType         ( ISynType.hs, out/ISynType.o )
[54 of 81] Compiling SimpleICTranslate ( SimpleICTranslate.hs, out/SimpleICTranslate.o )
[55 of 81] Compiling Imitate          ( Imitate.hs, out/Imitate.o )
[56 of 81] Compiling Plugins.MLAT     ( Plugins/MLAT.hs, out/Plugins/MLAT.o )
[ 51 of 108] Compiling ISynEnv          ( ISynEnv.hs, out/ISynEnv.o )
[ 52 of 108] Compiling External[boot]   ( External.hs-boot, out/External.o-boot )
[ 53 of 108] Compiling ISyntax          ( ISyntax.hs, out/ISyntax.o )
[57 of 81] Compiling LazyCompute      ( LazyCompute.hs, out/LazyCompute.o )
[58 of 81] Compiling Equal            ( Equal.hs, out/Equal.o )

ISyntax.hs:40:10:
    Warning: Pattern match(es) are overlapped
             In a case alternative: (_) -> ...
[ 54 of 108] Compiling MetaVarState     ( MetaVarState.hs, out/MetaVarState.o )
[ 55 of 108] Compiling ProofState       ( ProofState.hs, out/ProofState.o )
[ 56 of 108] Compiling ProofMonad       ( ProofMonad.hs, out/ProofMonad.o )
[59 of 81] Compiling RemMetaVars      ( RemMetaVars.hs, out/RemMetaVars.o )
[ 57 of 108] Compiling Native           ( Native.hs, out/Native.o )
[ 58 of 108] Compiling BasicEngineOps[boot] ( BasicEngineOps.hs-boot, out/BasicEngineOps.o-boot )
[ 59 of 108] Compiling Typechecking[boot] ( Typechecking.hs-boot, out/Typechecking.o-boot )
[ 60 of 108] Compiling InteractionMonad ( InteractionMonad.hs, out/InteractionMonad.o )
[60 of 81] Compiling Plugins.SMV      ( Plugins/SMV.hs, out/Plugins/SMV.o )
[ 61 of 108] Compiling ExpToExp         ( ExpToExp.hs, out/ExpToExp.o )
[ 62 of 108] Compiling MiscId           ( MiscId.hs, out/MiscId.o )
[ 63 of 108] Compiling Plugins.PLUtil   ( Plugins/PLUtil.hs, out/Plugins/PLUtil.o )
[61 of 81] Compiling Plugins.FOL.Constants ( Plugins/FOL/Constants.hs, out/Plugins/FOL/Constants.o )
[62 of 81] Compiling Plugins.FOL.Translation ( Plugins/FOL/Translation.hs, out/Plugins/FOL/Translation.o )
[ 64 of 108] Compiling Eval             ( Eval.hs, out/Eval.o )
[63 of 81] Compiling Plugins.FOL      ( Plugins/FOL.hs, out/Plugins/FOL.o )
[64 of 81] Compiling ExternalPluginTable ( ExternalPluginTable.hs, out/ExternalPluginTable.o )
[65 of 81] Compiling External         ( External.hs, out/External.o )
[66 of 81] Compiling ClassEnv         ( ClassEnv.hs, out/ClassEnv.o )
[67 of 81] Compiling CITranslate      ( CITranslate.hs, out/CITranslate.o )
[ 65 of 108] Compiling Normalize        ( Normalize.hs, out/Normalize.o )
[ 66 of 108] Compiling Unfold1          ( Unfold1.hs, out/Unfold1.o )
[ 67 of 108] Compiling Compute          ( Compute.hs, out/Compute.o )
[ 68 of 108] Compiling UnfoldL          ( UnfoldL.hs, out/UnfoldL.o )
[ 69 of 108] Compiling NormalizeL       ( NormalizeL.hs, out/NormalizeL.o )
[68 of 81] Compiling BuildExp         ( BuildExp.hs, out/BuildExp.o )
[ 70 of 108] Compiling ValueToExp       ( ValueToExp.hs, out/ValueToExp.o )
[69 of 81] Compiling SuggestSol       ( SuggestSol.hs, out/SuggestSol.o )
[ 71 of 108] Compiling ExternalPlugin   ( ExternalPlugin.hs, out/ExternalPlugin.o )
[ 72 of 108] Compiling Plugins.RegisterPrim ( Plugins/RegisterPrim.hs, out/Plugins/RegisterPrim.o )
[ 73 of 108] Compiling CSyntax          ( CSyntax.hs, out/CSyntax.o )
[70 of 81] Compiling BasicEngineOps   ( BasicEngineOps.hs, out/BasicEngineOps.o )
[71 of 81] Compiling Typechecking     ( Typechecking.hs, out/Typechecking.o )

CSyntax.hs:308:4:
    Warning: Pattern match(es) are overlapped
             In the definition of `identifiers': identifiers _ = ...
[ 74 of 108] Compiling CPrinter         ( CPrinter.hs, out/CPrinter.o )

Typechecking.hs:50:0:
    Warning: Unnecessary {-# SOURCE #-} in the import of module `External'
[72 of 81] Compiling PreludeDefs      ( PreludeDefs.hs, out/PreludeDefs.o )
[73 of 81] Compiling Import           ( Import.hs, out/Import.o )
[74 of 81] Compiling CallMatrix       ( CallMatrix.hs, out/CallMatrix.o )
[75 of 81] Compiling Termination      ( Termination.hs, out/Termination.o )
[ 75 of 108] Compiling SimpleICTranslate ( SimpleICTranslate.hs, out/SimpleICTranslate.o )
[ 76 of 108] Compiling Imitate          ( Imitate.hs, out/Imitate.o )
[76 of 81] Compiling Solve            ( Solve.hs, out/Solve.o )
[ 77 of 108] Compiling Plugins.MLAT     ( Plugins/MLAT.hs, out/Plugins/MLAT.o )
[77 of 81] Compiling BasicOps         ( BasicOps.hs, out/BasicOps.o )
[ 78 of 108] Compiling LazyCompute      ( LazyCompute.hs, out/LazyCompute.o )
[ 79 of 108] Compiling Equal            ( Equal.hs, out/Equal.o )
[ 80 of 108] Compiling RemMetaVars      ( RemMetaVars.hs, out/RemMetaVars.o )
[[78 of 81] Co mp81 of 108] ilingC CompilPianrgs ePrl      ugins .SMV       (   CP(a rPsler.hs,ugin s/oSuMtV/.ChPsa,r soeurt./oP l)u
gins/SMV.o )
[ 82 of 108] Compiling Plugins.FOL.Constants ( Plugins/FOL/Constants.hs, out/Plugins/FOL/Constants.o )
[ 83 of 108] Compiling Plugins.FOL.Translation ( Plugins/FOL/Translation.hs, out/Plugins/FOL/Translation.o )
[ 84 of 108] Compiling Plugins.FOL      ( Plugins/FOL.hs, out/Plugins/FOL.o )
[ 85 of 108] Compiling ExternalPluginTable ( ExternalPluginTable.hs, out/ExternalPluginTable.o )
[ 86 of 108] Compiling External         ( External.hs, out/External.o )
[ 87 of 108] Compiling ClassEnv         ( ClassEnv.hs, out/ClassEnv.o )
[ 88 of 108] Compiling CITranslate      ( CITranslate.hs, out/CITranslate.o )
[79 of 81] Compiling Commands         ( Commands.hs, out/Commands.o )
[80 of 81] Compiling UTF8             ( UTF8.hs, out/UTF8.o )
[81 of 81] Compiling Main             ( checker.hs, out/Main.o )
Linking agdachecker ...
out/BasicOps.o: In function `s4mbx_info':
(.text+0x19ee): undefined reference to `ISyntax_lvl40_closure'
out/BasicOps.o: In function `s4msR_info':
(.text+0x2732): undefined reference to `ISyntax_lvl40_closure'
out/BasicOps.o: In function `s4nAx_info':
(.text+0x5f84): undefined reference to `ISyntax_lvl40_closure'
out/BasicOps.o: In function `s4kGy_info':
(.text+0xa9eb): undefined reference to `ISyntax_lvl40_closure'
out/BasicOps.o: In function `s4kIx_info':
(.text+0xab0f): undefined reference to `ISyntax_lvl40_closure'
out/BasicOps.o:(.text+0xdb9e): more undefined references to `ISyntax_lvl40_closure' follow
out/BasicOps.o: In function `s4oDv_info':
(.text+0x912e): undefined reference to `ExpToExp_go6_info'
out/Typechecking.o: In function `s3Kko_info':
(.text+0x17139): undefined reference to `ISyntax_lvl40_closure'
out/SuggestSol.o: In function `s3sMe_info':
(.text+0x1b4b): undefined reference to `ISyntax_lvl40_closure'
out/SuggestSol.o: In function `s3tbq_info':
(.text+0x6e69): undefined reference to `ISyntax_lvl40_closure'
out/SuggestSol.o: In function `s3teB_info':
(.text+0x79d5): undefined reference to `ISyntax_lvl40_closure'
out/CITranslate.o: In function `s3fAm_info':
(.text+0x9dc7): undefined reference to `ISyntax_lvl40_closure'
out/CITranslate.o:(.text+0xa40b): more undefined references to `ISyntax_lvl40_closure' follow
collect2: ld returned 1 exit status
make[1]: *** [agdachecker] Error 1
make[1]: *** Waiting for unfinished jobs....
[ 89 of 108] Compiling BuildExp         ( BuildExp.hs, out/BuildExp.o )
[ 90 of 108] Compiling SuggestSol       ( SuggestSol.hs, out/SuggestSol.o )
[ 91 of 108] Compiling BasicEngineOps   ( BasicEngineOps.hs, out/BasicEngineOps.o )
[ 92 of 108] Compiling Typechecking     ( Typechecking.hs, out/Typechecking.o )

Typechecking.hs:50:0:
    Warning: Unnecessary {-# SOURCE #-} in the import of module `External'
[ 93 of 108] Compiling PreludeDefs      ( PreludeDefs.hs, out/PreludeDefs.o )
[ 94 of 108] Compiling Import           ( Import.hs, out/Import.o )
[ 95 of 108] Compiling CallMatrix       ( CallMatrix.hs, out/CallMatrix.o )
[ 96 of 108] Compiling Termination      ( Termination.hs, out/Termination.o )
[ 97 of 108] Compiling Solve            ( Solve.hs, out/Solve.o )
[ 98 of 108] Compiling BasicOps         ( BasicOps.hs, out/BasicOps.o )
[ 99 of 108] Compiling Agsy.CompAgda    ( Agsy/CompAgda.hs, out/Agsy/CompAgda.o )
[100 of 108] Compiling Plugin           ( Plugin.lhs, out/Plugin.o )
[101 of 108] Compiling AgdaPluginKit    ( AgdaPluginKit.hs, out/AgdaPluginKit.o )

AgdaPluginKit.hs:2:8:
    Warning: `Constraint' is exported by `module ProofState' and `module ProofMonad'

AgdaPluginKit.hs:2:8:
    Warning: `Constraint' is exported by `module ProofState' and `module ProofMonad'

AgdaPluginKit.hs:2:8:
    Warning: `MetaSubst' is exported by `module ProofState' and `module ProofMonad'
[102 of 108] Compiling CParser          ( CParser.hs, out/CParser.o )
[103 of 108] Compiling Commands         ( Commands.hs, out/Commands.o )
[104 of 108] Compiling UTF8             ( UTF8.hs, out/UTF8.o )
[105 of 108] Compiling Agsy.StratInteractive ( Agsy/StratInteractive.hs, out/Agsy/StratInteractive.o )
[106 of 108] Compiling AgsyPlugin       ( AgsyPlugin.hs, out/AgsyPlugin.o )
[107 of 108] Compiling PluginTable      ( PluginTable.lhs, out/PluginTable.o )
[108 of 108] Compiling Main             ( emacsagda.hs, out/Main.o )
Linking emacsagda ...
make[1]: Leaving directory `/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work/Agda-1.0.2/src'
make: *** [default] Error 2
 * ERROR: sci-mathematics/agda-1.0.2-r2 failed:
 *   emake failed
 * 
 * Call stack:
 *     ebuild.sh, line  61:  Called src_compile
 *   environment, line 2617:  Called die
 * The specific snippet of code:
 *       emake || die "emake failed"
 * 
 * If you need support, post the output of 'emerge --info =sci-mathematics/agda-1.0.2-r2',
 * the complete build log and the output of 'emerge -pqv =sci-mathematics/agda-1.0.2-r2'.
ruby: Permission denied -- /root/tinderbox/log-analyst/insert.rb (LoadError)
 * The complete build log is located at '/var/log/portage/build/sci-mathematics/agda-1.0.2-r2:20091222-011653.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/temp/environment'.
 * S: '/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work/Agda-1.0.2'