[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