Make: refactor GMP rules

Document and use simpler rules for the ghc-gmp.h header.
23 jobs for master in 23 minutes and 23 seconds (queued for 17 seconds)
Status Job ID Name Coverage
  Lint
passed #281076
lint
lint-linters

00:00:13

passed #281079
lint
lint-submods-branch

00:00:16

passed #281077
lint
lint-testsuite

00:00:15

passed #281078
lint
typecheck-testsuite

00:00:14

 
  Quick Build
passed #281080
x86_64-linux
hadrian-ghc-in-ghci

00:19:03

 
  Build
failed #281081
x86_64-linux
validate-x86_64-linux-deb9-hadrian

00:03:06

 
  Full Build
skipped #281084
aarch64-linux allowed to fail
validate-aarch64-linux-deb9
skipped #281085
armv7-linux
validate-armv7-linux-deb9
skipped #281086
x86_64-linux
validate-i386-linux-deb9
skipped #281093
new-x86_64-windows test allowed to fail
validate-i386-windows
skipped #281083
x86_64-darwin
validate-x86_64-darwin
skipped #281087
x86_64-linux
validate-x86_64-linux-deb9-debug
skipped #281089
x86_64-linux
validate-x86_64-linux-deb9-dwarf
skipped #281088
x86_64-linux
validate-x86_64-linux-deb9-integer-simple
skipped #281082
x86_64-linux
validate-x86_64-linux-deb9-unreg-hadrian
skipped #281090
x86_64-linux
validate-x86_64-linux-fedora27
skipped #281092
new-x86_64-windows test allowed to fail
validate-x86_64-windows
skipped #281091
new-x86_64-windows test allowed to fail
validate-x86_64-windows-hadrian
 
  Cleanup
passed #281094
x86_64-darwin
cleanup-darwin

00:00:26

 
  Packaging
skipped #281095
x86_64-linux allowed to fail
doc-tarball
 
  Testing
skipped #281096
x86_64-linux allowed to fail manual
hackage
skipped #281097
x86_64-linux
perf-nofib
 
  Deploy
skipped #281098
x86_64-linux allowed to fail
pages
 
Name Stage Failure
failed
validate-x86_64-linux-deb9-hadrian Build
hadrian/build-cabal --flavour=validate -j8 --broken-test= binary-dist failed
Running after script...
$ .gitlab/ci.sh clean
Running make --quiet clean...
Running rm -Rf _build...
Uploading artifacts...
WARNING: junit.xml: no matching files
ERROR: No files to upload
ERROR: Job failed: exit code 1