[Pkg-haskell-maintainers] Bug#572300: [hppa] blocks buildd indefinitely

dann frazier dannf at debian.org
Wed Mar 3 02:21:04 UTC 2010


Source: agda
Version: 2.2.6-3
Severity: serious
User: debian-hppa at lists.debian.org
Usertags: hppa

The agda build reliably hangs on hppa, but the included watcher
continues to generate output - blocking the buildd until manually
killed.

The logs are available at:
  https://buildd.debian.org/build.cgi?pkg=agda;ver=2.2.6-3;arch=hppa

Here's a snippet of one of the failures:
[...]
Watcher: Tick.
buildd   10751  0.0  0.0   1916   668 ?        S    Mar02   0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc
buildd   10841  0.0  0.0  24408 12240 ?        S    Mar02   0:02 debian/hlibrary.setup build --builddir=dist-ghc6
buildd   10894 88.1  1.6 289856 264488 ?       R    Mar02 317:06 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5
 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte
 r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par
 ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec
 king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F
Watcher: Tick.
buildd   10751  0.0  0.0   1916   668 ?        S    Mar02   0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc
buildd   10841  0.0  0.0  24408 12240 ?        S    Mar02   0:02 debian/hlibrary.setup build --builddir=dist-ghc6
buildd   10894 88.2  1.6 289856 264488 ?       R    Mar02 326:23 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5
 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte
 r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par
 ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec
 king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F
Watcher: Tick.
buildd   10751  0.0  0.0   1916   668 ?        S    Mar02   0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc
buildd   10841  0.0  0.0  24408 12240 ?        S    Mar02   0:02 debian/hlibrary.setup build --builddir=dist-ghc6
buildd   10894 88.3  1.6 289856 264488 ?       R    Mar02 335:39 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5
 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte
 r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par
 ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec
 king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F
Watcher: Tick.
buildd   10751  0.0  0.0   1916   668 ?        S    Mar02   0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc
buildd   10841  0.0  0.0  24408 12240 ?        S    Mar02   0:02 debian/hlibrary.setup build --builddir=dist-ghc6
buildd   10894 88.4  1.6 289856 264488 ?       R    Mar02 344:55 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5
 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte
 r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par
 ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec
 king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F
Watcher: Tick.
buildd   10751  0.0  0.0   1916   668 ?        S    Mar02   0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc
buildd   10841  0.0  0.0  24408 12240 ?        S    Mar02   0:02 debian/hlibrary.setup build --builddir=dist-ghc6
buildd   10894 88.6  1.6 289856 264488 ?       R    Mar02 354:12 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5
 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte
 r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par
 ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec
 king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F
Watcher: Tick.
buildd   10751  0.0  0.0   1916   668 ?        S    Mar02   0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc
buildd   10841  0.0  0.0  24408 12240 ?        S    Mar02   0:02 debian/hlibrary.setup build --builddir=dist-ghc6
buildd   10894 88.7  1.6 289856 264488 ?       R    Mar02 363:29 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5
 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte
 r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par
 ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec
 king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F
sbuild received SIGTERM -- shutting down
Purging /var/lib/schroot/mount/sid-hppa-sbuild-70da9817-3b42-4fce-bb9d-f0f57c4df869/build/buildd-agda_2.2.6-3-hppa-z192cT
make: *** [build-ghc6-stamp] Terminated





More information about the Pkg-haskell-maintainers mailing list