Merge branches 'wip/backport-MR1137', 'wip/backport-MR1139', 'wip/backport…

Authored by bgamari on Jun 13 2019, 9:51 AM.

Description

Merge branches 'wip/backport-MR1137', 'wip/backport-MR1139', 'wip/backport-MR1160', 'wip/backport-MR706' and 'wip/backport-MR769' into wip/ghc-8.8-merges

Merged Changes

CommitAuthorDetailsCommitted
8c862c07177aghc-builders/bgamari
rts/linker: Use mmapForLinker to map PLT 
Jun 12
ba667f6be797bgamari
llvm-targets: Add armv7l-unknown-linux-gnueabi 
Jun 12
2e8be92b4548bgamari
rts/linker: Only mprotect GOT after it is filled 
Jun 12
e628c7be84babgamari
rts/linker: Make elf_got.c a bit more legible 
Jun 12
ce1e6538dd15Phuong Trinh/bgamari
Use binary search to speedup checkUnload 
Jun 12
ca7173a99021takenobu/bgamari
Add `-haddock` to prepare-system.sh and .gitlab-ci.yml 
Jun 12
b51f9ecd131dtakenobu/bgamari
Add `-haddock` to perf.mk rather than prepare-system.sh 
Jun 12
c4b501b16005takenobu/bgamari
Add `-haddock` option under ci condition to fix #16415 
Jun 12