Attachment 199156 Details for Bug 279085 – Build log

Build log

agda-1.0.2-r2:20090725-174421.log (text/plain), 15.96 KB, created by Diego Elio Pettenò (RETIRED) on 2009-07-25 19:19:06 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Diego Elio Pettenò (RETIRED)

Created: 2009-07-25 19:19:06 UTC

Size: 15.96 KB

patch

obsolete

>>>> Unpacking source...
>>>> Unpacking Agda-1.0.2.tar.gz to /var/tmp/portage/sci-mathematics/agda-1.0.2-r2/work
> [32;01m*[0m Applying agda-make_install.patch ...
>[A[72C  [34;01m[ [32;01mok[34;01m ][0m
> [32;01m*[0m Applying agda-1.0.2-upstream-fixes.patch ...
>[A[72C  [34;01m[ [32;01mok[34;01m ][0m
>>>> 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
> [31;01m*[0m 
> [31;01m*[0m ERROR: sci-mathematics/agda-1.0.2-r2 failed.
> [31;01m*[0m Call stack:
> [31;01m*[0m               ebuild.sh, line   49:  Called src_test
> [31;01m*[0m             environment, line 2543:  Called _eapi0_src_test
> [31;01m*[0m               ebuild.sh, line  607:  Called die
> [31;01m*[0m The specific snippet of code:
> [31;01m*[0m   			hasq test $FEATURES && die "Make check failed. See above for details."
> [31;01m*[0m  The die message:
> [31;01m*[0m   Make check failed. See above for details.
> [31;01m*[0m 
> [31;01m*[0m If you need support, post the topmost build error, and the call stack if relevant.
> [31;01m*[0m A complete build log is located at '/var/log/portage/sci-mathematics/agda-1.0.2-r2:20090725-174421.log'.
> [31;01m*[0m The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-1.0.2-r2/temp/environment'.
> [31;01m*[0m 
>
>>>> 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
> [32;01m*[0m Removing /usr/share/doc
> [32;01m*[0m Removing /usr/share/man
> [32;01m*[0m Removing /usr/share/info

Actions: View

Attachments on bug 279085: 199156