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

Previous Next

Full log

View this message in rfc822 format

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: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug
Date: Wed, 22 Jan 2025 00:22:07 +0000

[Message part 1 (text/plain, inline)]

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

> Could you provide a diff for the Homebrew formula?  Thanks.

Yes, the requested diff is attached to this email.

This patch modifies the formula to build both _release_ and _debug_ versions simultaneously.

To use the updated formula:

$ brew tap homebrew/core --force

# Apply patch or edit formula manually (see attached .patch)
$ brew --repository homebrew/core
$ patch -d /opt/homebrew/Library/Taps/homebrew/homebrew-core/  < ./libmps-debug.patch

# edit formula manually
$ brew edit --print-path libmps

# Compile from latest source with debug symbols
$ HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source libmps --HEAD



--

[libmps-debug.patch (text/x-patch, attachment)]

Previous Next

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