[Bug 991929] New: Agda: FTBFS in rawhide

List overview All Threads
Download

newer

older

[Bug 1618490] Review Request: ...

Red Hat Bugzilla

4 Aug 2013 4 Aug '13

9:58 p.m.

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Bug ID: 991929 Summary: Agda: FTBFS in rawhide Product: Fedora Version: rawhide Component: Agda Assignee: petersen@redhat.com Reporter: dennis@ausil.us QA Contact: extras-qa@fedoraproject.org CC: haskell-devel@lists.fedoraproject.org, petersen@redhat.com Blocks: 991858

Your package Agda failed to build from source in current rawhide.

http://koji.fedoraproject.org/koji/taskinfo?taskID=5694323

Build logs: root.log: http://kojipkgs.fedoraproject.org/work/tasks/4323/5694323/root.log build.log: http://kojipkgs.fedoraproject.org/work/tasks/4323/5694323/build.log state.log: http://kojipkgs.fedoraproject.org/work/tasks/4323/5694323/state.log NOTE: build logs are cleaned up after 1 week

For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=bIgzEmn2it&a=cc_unsubscribe

Show replies by date

Red Hat Bugzilla

20 Aug 20 Aug

6:10 p.m.

New subject: [Bug 991929] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Hardware|Unspecified |arm

--- Comment #1 from Jens Petersen petersen@redhat.com --- http://koji.fedoraproject.org/koji/taskinfo?taskID=5834213

[ 77 of 251] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.4.0.1 ... linking ... done. Loading package deepseq-1.3.0.1 ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. Loading package zlib-0.5.4.1 ... linking ... done. Loading package xhtml-3000.2.1 ... linking ... done. Loading package text-0.11.3.1 ... linking ... done. Loading package hashable-1.1.2.5 ... linking ... done. Loading package unordered-containers-0.2.3.0 ... linking ... done. Loading package filepath-1.3.0.1 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package time-1.4.0.1 ... linking ... done. Loading package unix-2.6.0.1 ... linking ... done. Loading package directory-1.2.0.1 ... linking ... done. Loading package process-1.1.0.2 ... linking ... done. Loading package containers-0.5.0.0 ... linking ... done. Loading package parallel-3.2.0.3 ... linking ... done. Loading package old-time-1.1.0.1 ... linking ... done. Loading package cpphs-1.16 ... linking ... done. Loading package pretty-1.1.1.0 ... linking ... done. Loading package haskell-src-exts-1.13.5 ... linking ... done. Loading package terminfo-0.3.2.5 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package haskeline-0.7.0.3 ... linking ... done. Loading package primitive-0.5.0.1 ... linking ... done. Loading package vector-0.10.0.1 ... linking ... done. Loading package hashtables-1.0.1.8 ... linking ... done. Loading package mtl-2.1.2 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package geniplate-0.6.0.3 ... linking ... done. Loading package binary-0.5.1.1 ... linking ... done. Loading package random-1.0.1.1 ... linking ... done. Loading package QuickCheck-2.6 ... linking ... done. error: Bad exit status from /var/tmp/rpm-tmp.AXo34V (%build)

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=FCszdU0JhE&a=cc_unsubscribe

Red Hat Bugzilla

9:50 p.m.

New subject: [Bug 991929] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Whiteboard| |TemplateHaskell

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=RPAKlhbmZv&a=cc_unsubscribe

Red Hat Bugzilla

1 Sep 1 Sep

8:54 p.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=KLZo8k48Ca&a=cc_unsubscribe

Red Hat Bugzilla

16 Aug 16 Aug

10:14 a.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Peter Robinson pbrobinson@gmail.com changed:

--- Comment #3 from Peter Robinson pbrobinson@gmail.com --- Gets a lot further in F-21/rawhide Agda-2.3.2.2

http://koji.fedoraproject.org/koji/taskinfo?taskID=7332502

[249 of 251] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.p_o ) [250 of 251] Compiling Agda.Interaction.GhcTop ( src/full/Agda/Interaction/GhcTop.hs, dist/build/Agda/Interaction/GhcTop.p_o ) ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for arm-unknown-linux): applyTypeToArgs haskell-src-exts-1.13.5:Language.Haskell.Exts.Comments.$w$cgmapQr{v rnkM} [gid] base:GHC.IO.Handle.FD.stdout{v r1eD} [gid] base:GHC.IO.Handle.Types.NoBuffering{v r1g4} [gid[DataCon]] forall r{tv ccCfZ} [tv] r'{tv ccCg0} [tv]. (r'{tv ccCg0} [tv] -> r{tv ccCfZ} [tv] -> r{tv ccCfZ} [tv]) -> r{tv ccCfZ} [tv] -> (forall d{tv ccCg1} [tv]. base:Data.Data.Data{tc 29} d{tv ccCg1} [tv] => d{tv ccCg1} [tv] -> r'{tv ccCg0} [tv]) -> ghc-prim:GHC.Types.Bool{(w) tc 3c} -> haskell-src-exts-1.13.5:Language.Haskell.Exts.SrcLoc.SrcSpan{tc s15g6M} -> base:GHC.Base.String{tc 36u} -> r{tv ccCfZ} [tv] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug error: Bad exit status from /var/tmp/rpm-tmp.R33Jlz (%build)

Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=245418 [Bug 245418] Tracker for ARM support

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=peAYYTANsr&a=cc_unsubscribe

Red Hat Bugzilla

20 Aug 20 Aug

2:44 a.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

--- Comment #4 from Jens Petersen petersen@redhat.com --- Thanks for the report: I am hoping that 7.8.3 will help with some of the ARM template-haskell issues.

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=gYVGADLhu8&a=cc_unsubscribe

Red Hat Bugzilla

3 Apr 3 Apr

7:56 a.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

--- Comment #6 from Jens Petersen petersen@redhat.com --- Gets pretty far with ghc-7.8.4:

[276 of 278] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.o ) ghc: out of memory (requested 1048576 bytes)

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=WZGgN3G3sr&a=cc_unsubscribe

Red Hat Bugzilla

4 Nov 4 Nov

4:38 a.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Peter Robinson pbrobinson@gmail.com changed:

-- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=IHcMGKVbf1&a=cc_unsubscribe

Red Hat Bugzilla

6 Oct 6 Oct

2:56 a.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug.

Red Hat Bugzilla

5:02 a.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Version|24 |25

--- Comment #7 from Jens Petersen petersen@redhat.com --- With ghc-7.10.3 for Agda-2.4.2.5 still get:

[279 of 294] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist/build/Agda/TypeChecking/Rules/Decl.o ) ghc: out of memory (requested 2097152 bytes)

-- You are receiving this mail because: You are on the CC list for the bug.

bugzilla＠redhat.com

10 Mar 10 Mar

5:28 a.m.

New subject: [Bug 991929] [ARM] Agda: FTBFS in rawhide

https://bugzilla.redhat.com/show_bug.cgi?id=991929

--- Comment #8 from Jens Petersen petersen@redhat.com --- With ghc-8.0.2 (f26):

[304 of 334] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist/build/Agda/Syntax/Translation/ConcreteToAbstract.o ) ghc: out of memory (requested 1048576 bytes)

-- You are receiving this mail because: You are on the CC list for the bug.

bugzilla＠redhat.com

5:33 a.m.

New subject: [Bug 991929] [ARM] Agda FTBFS

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Peter Robinson pbrobinson@gmail.com changed:

What |Removed |Added ---------------------------------------------------------------------------- CC|pbrobinson@gmail.com |

-- You are receiving this mail because: You are on the CC list for the bug.

bugzilla＠redhat.com

5:33 a.m.

New subject: [Bug 991929] [ARM] Agda FTBFS

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

-- You are receiving this mail because: You are on the CC list for the bug.

bugzilla＠redhat.com

16 Nov 16 Nov

12:31 p.m.

New subject: [Bug 991929] [ARM] Agda FTBFS

https://bugzilla.redhat.com/show_bug.cgi?id=991929

--- Comment #9 from Fedora End Of Life jkurik@fedoraproject.org --- This message is a reminder that Fedora 25 is nearing its end of life. Approximately 4 (four) weeks from now Fedora will stop maintaining and issuing updates for Fedora 25. It is Fedora's policy to close all bug reports from releases that are no longer maintained. At that time this bug will be closed as EOL if it remains open with a Fedora 'version' of '25'.

Package Maintainer: If you wish for this bug to remain open because you plan to fix it in a currently maintained version, simply change the 'version' to a later Fedora version.

Thank you for reporting this issue and we are sorry that we were not able to fix it before Fedora 25 is end of life. If you would still like to see this bug fixed and are able to reproduce it against a later version of Fedora, you are encouraged change the 'version' to a later Fedora version prior this bug is closed as described in the policy above.

Although we aim to fix as many bugs as possible during every release's lifetime, sometimes those efforts are overtaken by events. Often a more recent Fedora release includes newer upstream software that fixes bugs or makes them obsolete.

-- You are receiving this mail because: You are on the CC list for the bug.

bugzilla＠redhat.com

12 Dec 12 Dec

4:25 a.m.

New subject: [Bug 991929] [ARM] Agda FTBFS

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Fedora End Of Life jkurik@fedoraproject.org changed:

--- Comment #10 from Fedora End Of Life jkurik@fedoraproject.org --- Fedora 25 changed to end-of-life (EOL) status on 2017-12-12. Fedora 25 is no longer maintained, which means that it will not receive any further security or bug fix updates. As a result we are closing this bug.

If you can reproduce this bug against a currently maintained version of Fedora please feel free to reopen this bug against that version. If you are unable to reopen this bug, please file a new report against the current release. If you experience problems, please add a comment to this bug.

Thank you for reporting this bug and we are sorry it could not be fixed.

-- You are receiving this mail because: You are on the CC list for the bug.

bugzilla＠redhat.com

14 Dec 14 Dec

10:05 p.m.

New subject: [Bug 991929] [ARM] Agda FTBFS

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

--- Comment #11 from Jens Petersen petersen@redhat.com --- Still true today

-- You are receiving this mail because: You are on the CC list for the bug.

bugzilla＠redhat.com

28 Aug 28 Aug

7:53 p.m.

New subject: [Bug 991929] [ARM] Agda FTBFS

https://bugzilla.redhat.com/show_bug.cgi?id=991929

Jens Petersen petersen@redhat.com changed:

What |Removed |Added ---------------------------------------------------------------------------- Version|28 |29

--- Comment #13 from Jens Petersen petersen@redhat.com --- [193 of 325] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist/build/Agda/TypeChecking/Monad/Signature.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.2.2 for arm-unknown-linux): piResultTy Impossible Name Call stack: CallStack (from HasCallStack): prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable pprPanic, called at compiler/types/Type.hs:949:35 in ghc:Type Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug

-- You are receiving this mail because: You are on the CC list for the bug.

2233

Age (days ago)

4083

Last active (days ago)

haskell-devel@lists.fedoraproject.org

16 comments

2 participants

tags (0)

participants (2)

bugzilla＠redhat.com
Red Hat Bugzilla