Bug 1190261

Summary: FTBFS on armv7 due to idris pkg compilation crashing with ghc-7.8.4
Product: [Fedora] Fedora Reporter: Jens Petersen <petersen>
Component: idrisAssignee: Jens Petersen <petersen>
Status: CLOSED WONTFIX QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 24CC: haskell-devel, petersen
Target Milestone: ---Keywords: Reopened
Target Release: ---   
Hardware: armv7hl   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2016-10-04 10:49:02 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:

Description Jens Petersen 2015-02-06 19:57:47 UTC
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

Comment 1 Jaroslav Reznik 2015-03-03 16:50:53 UTC
This bug appears to have been reported against 'rawhide' during the Fedora 22 development cycle.
Changing version to '22'.

More information and reason for this action is here:
https://fedoraproject.org/wiki/Fedora_Program_Management/HouseKeeping/Fedora22

Comment 2 Fedora End Of Life 2016-07-19 12:47:25 UTC
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.

Comment 3 Jens Petersen 2016-07-26 04:07:07 UTC
Still true for F24.

Idris is not built yet for F25.

Comment 4 Jens Petersen 2016-10-04 10:49:02 UTC
(idris has alas been retired from F25+)