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

Previous Next

Full log

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

From: "jiale.liu" <im <at> liujiale.me>
To: Stefan Kangas <stefankangas <at> gmail.com>
Cc: "75514 <at> debbugs.gnu.org" <75514 <at> debbugs.gnu.org>
Subject: Re: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't
 install mps-debug
Date: Tue, 21 Jan 2025 11:13:27 +0000

"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 submitted a PR to The Homebrew-core, maintainers reviewed my formula PR and identified
debug build inclusion as an issue.

Perhaps we could create a separate test formula (possibly in
Homebrew/homebrew-test or a third-party tap)

Do you suggest:

1) Using 'brew edit libmps' then add debug build command for testing
2) Creating a personal tap (e.g. `mygithub/homebrew-mps-debug`)
3) Other solutions?


--
Thanks for your patience

Previous Next

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