Opened 6 years ago

Closed 6 years ago

#5839 closed feature request (fixed)

ARM linker support

Reported by: bgamari Owned by: pcapriotti
Priority: high Milestone: 7.4.2
Component: Runtime System Version:
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: arm
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


This patch adds ARM support in the RTS linker and enables ghci in the build system.

Change History (10)

comment:2 Changed 6 years ago by bgamari

Owner: set to simonmar

comment:3 Changed 6 years ago by bgamari

Status: newpatch

comment:4 Changed 6 years ago by simonmar

difficulty: Unknown
Milestone: 7.4.2
Priority: normalhigh


comment:5 Changed 6 years ago by simonmar

I don't see that commit in your github repo. Did you rebase it away or something?

$ git remote show bgamari
* remote bgamari
  Fetch URL:
  Push  URL:
  HEAD branch: master
  Remote branches:
    arm-ghci                tracked
    arm-ghci-7.4            tracked
    arm-ghci-7.4-clean      tracked
    at-defaults             tracked
    encoding                tracked
    ghc-7.2                 tracked
    ghc-constraint-solver   tracked
    ghc-generics            tracked
    ghc-kinds               tracked
    ghc-new-co              tracked
    known-key-serialization tracked
    local-gc                tracked
    master                  tracked
    monad-comp              tracked
    no-pred-ty              tracked
    patch-4404              tracked
    patch-5084              tracked
    profiling               tracked
    supercompiler           tracked
    type-nats               tracked
  Local refs configured for 'git push':
    known-key-serialization pushes to known-key-serialization (up to date)
    master                  pushes to master                  (fast-forwardable)
$ git fetch bgamari
$ git show e3aacf99e3a34f873df0699f8ea10b8535f08c56
fatal: bad object e3aacf99e3a34f873df0699f8ea10b8535f08c56

comment:6 Changed 6 years ago by bgamari

Bah, sorry about that. Looks like I rebased it away. The new commit is The differences are quite minimal (just a few spelling and punctuation issues).


comment:7 Changed 6 years ago by bgamari

Are we still on for a 7.4.2 merge?

comment:8 Changed 6 years ago by simonmar

Owner: changed from simonmar to pcapriotti

Paulo, can you handle this one please?

comment:9 Changed 6 years ago by pcapriotti

Status: patchmerge

comment:10 Changed 6 years ago by pcapriotti

Resolution: fixed
Status: mergeclosed
Note: See TracTickets for help on using tickets.