>>> 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/Main.o ghc -fglasgow-exts -cpp -O -odir out -hidir out --make -DSANTA='""' -DGANDALF='""' -o agdachecker checker.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 ) [ 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 ) [ 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 ) [13 of 81] Compiling PPrint ( PPrint.hs, out/PPrint.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 ) [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 ) [27 of 81] Compiling Id ( Id.hs, out/Id.o ) [28 of 81] Compiling CITrans ( CITrans.hs, out/CITrans.o ) [29 of 81] Compiling ISynType ( ISynType.hs, out/ISynType.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 ) 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 ) [35 of 81] Compiling ProofMonad ( ProofMonad.hs, out/ProofMonad.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 ) [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 ) [45 of 81] Compiling Unfold1 ( Unfold1.hs, out/Unfold1.o ) [46 of 81] Compiling Compute ( Compute.hs, out/Compute.o ) [47 of 81] Compiling UnfoldL ( UnfoldL.hs, out/UnfoldL.o ) [48 of 81] Compiling NormalizeL ( NormalizeL.hs, out/NormalizeL.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 ) 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 ) [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 ) [57 of 81] Compiling LazyCompute ( LazyCompute.hs, out/LazyCompute.o ) [58 of 81] Compiling Equal ( Equal.hs, out/Equal.o ) [59 of 81] Compiling RemMetaVars ( RemMetaVars.hs, out/RemMetaVars.o ) [60 of 81] Compiling Plugins.SMV ( Plugins/SMV.hs, out/Plugins/SMV.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 ) [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 ) [68 of 81] Compiling BuildExp ( BuildExp.hs, out/BuildExp.o ) [69 of 81] Compiling SuggestSol ( SuggestSol.hs, out/SuggestSol.o ) [70 of 81] Compiling BasicEngineOps ( BasicEngineOps.hs, out/BasicEngineOps.o ) [71 of 81] Compiling Typechecking ( Typechecking.hs, out/Typechecking.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 ) [76 of 81] Compiling Solve ( Solve.hs, out/Solve.o ) [77 of 81] Compiling BasicOps ( BasicOps.hs, out/BasicOps.o ) [78 of 81] Compiling CParser ( CParser.hs, out/CParser.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 ... rm -f out/External.hi out/External.o # workaround for a GHC bug rm -f out/Main.o 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' [ 2 of 108] Compiling Version ( Version.hs, out/Version.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 ) [ 9 of 108] Compiling Agsy.HelpFcns ( Agsy/HelpFcns.hs, out/Agsy/HelpFcns.o ) [ 10 of 108] Compiling Agsy.SearchHelpFcns ( Agsy/SearchHelpFcns.hs, out/Agsy/SearchHelpFcns.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 ) [ 15 of 108] Compiling Agsy.SearchContext ( Agsy/SearchContext.hs, out/Agsy/SearchContext.o ) [ 16 of 108] Compiling Agsy.RefineElim ( Agsy/RefineElim.hs, out/Agsy/RefineElim.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 ) [ 22 of 108] Compiling Agsy.StratInteractive ( Agsy/StratInteractive.hs, out/Agsy/StratInteractive.o ) [ 28 of 108] Compiling Alfa.UAnnots ( Alfa/UAnnots.hs, out/Alfa/UAnnots.o ) [ 29 of 108] Compiling Alfa.UAbstract ( Alfa/UAbstract.hs, out/Alfa/UAbstract.o ) Alfa/UAbstract.hs:1:44: Warning: The export item `MetaVar(..)' suggests that `MetaVar' has constructors or class methods, but it has none [ 48 of 108] Compiling Parse_com ( Parse_com.hs, out/Parse_com.o ) [ 54 of 108] Compiling External[boot] ( External.hs-boot, out/External.o-boot ) [ 60 of 108] Compiling BasicEngineOps[boot] ( BasicEngineOps.hs-boot, out/BasicEngineOps.o-boot ) [ 61 of 108] Compiling Typechecking[boot] ( Typechecking.hs-boot, out/Typechecking.o-boot ) [ 88 of 108] Compiling External ( External.hs, out/External.o ) [101 of 108] Compiling Agsy.CompAgda ( Agsy/CompAgda.hs, out/Agsy/CompAgda.o ) [102 of 108] Compiling Plugin ( Plugin.lhs, out/Plugin.o ) [103 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' [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' >>> Source compiled. >>> Test phase [check]: sci-mathematics/agda-1.0.2-r2 make -j14 -j1 check { \ echo '# Agda'; \ echo 'm4_define([AT_PACKAGE_NAME], [Agda])'; \ echo 'm4_define([AT_PACKAGE_TARNAME], [agda])'; \ echo 'm4_define([AT_PACKAGE_VERSION], [1.0.2])'; \ echo 'm4_define([AT_PACKAGE_STRING], [Agda 1.0.2])'; \ echo 'm4_define([AT_PACKAGE_BUGREPORT], [cover@coverproject.org])'; \ } >./package.m4 /bin/sh ./config.status test/atconfig config.status: executing test/atconfig commands /bin/sh ./config.status test/atlocal config.status: creating test/atlocal autom4te --language=autotest -I test test/testsuite.at -o test/testsuite.tmp test/JM_idata.at:27: error: m4_cond: missing an argument test/JM_idata.at:27: the top level autom4te-2.63: /usr/bin/m4 failed with exit status: 1 make: *** [test/testsuite] Error 1 * * ERROR: sci-mathematics/agda-1.0.2-r2 failed. * Call stack: * ebuild.sh, line 49: Called src_test * environment, line 2543: Called _eapi0_src_test * ebuild.sh, line 607: Called die * The specific snippet of code: * hasq test $FEATURES && die "Make check failed. See above for details." * The die message: * Make check failed. See above for details. * * If you need support, post the topmost build error, and the call stack if relevant. * A complete build log is located at '/var/log/portage/sci-mathematics/agda-1.0.2-r2:20090725-174421.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/temp/environment'. * >>> Install agda-1.0.2-r2 into /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image/ category sci-mathematics make -j14 -C src ROOT=/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image/ install make: Entering directory `/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work/Agda-1.0.2/src' rm -f out/External.hi out/External.o # workaround for a GHC bug rm -f out/Main.o ghc -fglasgow-exts -cpp -O -odir out -hidir out --make -DSANTA='""' -DGANDALF='""' -o agdachecker checker.hs Typechecking.hs:50:22: Warning: {-# SOURCE #-} unnecessary in import of `External' [31 of 81] Compiling External[boot] ( External.hs-boot, out/External.o-boot ) [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 ) [65 of 81] Compiling External ( External.hs, out/External.o ) [81 of 81] Compiling Main ( checker.hs, out/Main.o ) Linking agdachecker ... /usr/bin/install -c -d /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image//usr/lib/EmacsAgda/bin/ /usr/bin/install -c -d /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image//usr/bin cp emacsagda /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image//usr/lib/EmacsAgda/bin/emacsagda-090725 (cd /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image//usr/lib/EmacsAgda/bin; ln -s emacsagda-090725 emacsagda) /usr/bin/install -c agdachecker /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image//usr/bin make: Leaving directory `/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work/Agda-1.0.2/src' >>> Completed installing agda-1.0.2-r2 into /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/image/ strip: i686-pc-linux-gnu-strip --strip-unneeded -R .comment usr/lib/EmacsAgda/bin/emacsagda-090725 usr/bin/agdachecker * Removing /usr/share/doc * Removing /usr/share/man * Removing /usr/share/info