Commit 4f117135 authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot

Make: refactor GMP rules

Document and use simpler rules for the ghc-gmp.h header.
parent b989845e
Pipeline #16697 failed with stages
in 23 minutes and 23 seconds