1:57 p.m.
https://bugzilla.redhat.com/show_bug.cgi?id=1190261
Bug ID: 1190261
Summary: FTBFS on armv7 due to idris pkg compilation crashing
with ghc-7.8.4
Product: Fedora
Version: rawhide
Component: idris
Assignee: petersen(a)redhat.com
Reporter: petersen(a)redhat.com
QA Contact: extras-qa(a)fedoraproject.org
CC: haskell-devel(a)lists.fedoraproject.org,
petersen(a)redhat.com
Description of problem:
idris fails to build on armv7 with:
Building libraries...
make: Entering directory '/builddir/build/BUILD/idris-0.9.9.1/lib'
../dist/build/idris/idris --build base.ipkg
idris: internal error: evacuate(static): strange closure type 63788
(GHC version 7.8.4 for arm_unknown_linux)
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Makefile:3: recipe for target 'check' failed
make: Leaving directory '/builddir/build/BUILD/idris-0.9.9.1/lib'
make: *** [check] Aborted (core dumped)
See https://ghc.haskell.org/trac/ghc/ticket/10029
--
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=8QwRJn1lG4&a=cc_unsubscribe
7:47 a.m.
New subject: [Bug 1190261]
FTBFS on armv7 due to idris pkg compilation crashing with ghc-7.8.4
https://bugzilla.redhat.com/show_bug.cgi?id=1190261
Fedora End Of Life <jkurik(a)fedoraproject.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |CLOSED
Resolution|--- |EOL
Last Closed| |2016-07-19 08:47:25
--- Comment #2 from Fedora End Of Life <jkurik(a)fedoraproject.org> ---
Fedora 22 changed to end-of-life (EOL) status on 2016-07-19. Fedora 22 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.
11:07 p.m.
New subject: [Bug 1190261]
FTBFS on armv7 due to idris pkg compilation crashing with ghc-7.8.4
https://bugzilla.redhat.com/show_bug.cgi?id=1190261
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|CLOSED |NEW
Version|22 |24
Resolution|EOL |---
Keywords| |Reopened
--- Comment #3 from Jens Petersen <petersen(a)redhat.com> ---
Still true for F24.
Idris is not built yet for F25.
--
You are receiving this mail because:
You are on the CC list for the bug.
5:49 a.m.
New subject: [Bug 1190261]
FTBFS on armv7 due to idris pkg compilation crashing with ghc-7.8.4
https://bugzilla.redhat.com/show_bug.cgi?id=1190261
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |CLOSED
Resolution|--- |WONTFIX
Last Closed|2016-07-19 08:47:25 |2016-10-04 06:49:02
--- Comment #4 from Jens Petersen <petersen(a)redhat.com> ---
(idris has alas been retired from F25+)
--
You are receiving this mail because:
You are on the CC list for the bug.
2788
days inactive
3394
days old
haskell-devel@lists.fedoraproject.org
3 comments
1 participants
participants (1)
-
Red Hat Bugzilla