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@redhat.com Reporter: petersen@redhat.com QA Contact: extras-qa@fedoraproject.org CC: haskell-devel@lists.fedoraproject.org, petersen@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
https://bugzilla.redhat.com/show_bug.cgi?id=1190261
Fedora End Of Life jkurik@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@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.
https://bugzilla.redhat.com/show_bug.cgi?id=1190261
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|CLOSED |NEW Version|22 |24 Resolution|EOL |--- Keywords| |Reopened
--- Comment #3 from Jens Petersen petersen@redhat.com --- Still true for F24.
Idris is not built yet for F25.
https://bugzilla.redhat.com/show_bug.cgi?id=1190261
Jens Petersen petersen@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@redhat.com --- (idris has alas been retired from F25+)
haskell-devel@lists.stg.fedoraproject.org
-
Red Hat Bugzilla