Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug

From: Stefan Kangas <[email-masked]>
Date: Sun, 12 Jan 2025 14:23:33 +0000

Severity: wishlist

On macOS, simply doing

    brew install libmps

doesn't give you mps-debug.o.  This means you can't build with
--with-mps=debug using those instructions.

Maybe we should clarify this in README-IGC?

I'm copying in the author of the Homebrew formula too, in case they
feel motivated to do anything about it.