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

Previous Next

Full log

Message #10 received at 75514-done <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefankangas <at> gmail.com>
To: 75514-done <at> debbugs.gnu.org
Cc: "jiale.liu" <im <at> liujiale.me>, gerd <at> gnu.org, nailuogg <at> gmail.com
Subject: Re: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't
 install mps-debug
Date: Mon, 20 Jan 2025 14:17:47 -0600

Stefan Kangas <stefankangas <at> gmail.com> writes:

> 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.

I mentioned this in commit 7766b00c320, so I'm closing this bug now.

If anyone could update the Homebrew recipe to include mps-debug.o, that
would be appreciated.  Thanks.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.