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: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Stefan Kangas <stefankangas <at> gmail.com>
Subject: bug#75514: closed (Re: bug#75514: scratch/igc: Clarify that `brew
 install limps` doesn't install mps-debug)
Date: Tue, 21 Jan 2025 00:25:03 +0000

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

Your bug report

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

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 75514 <at> debbugs.gnu.org.

-- 
75514: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=75514
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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.

[Message part 3 (message/rfc822, inline)]

From: Stefan Kangas <stefankangas <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: scratch/igc: Clarify that `brew install limps` doesn't install
 mps-debug
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.

Previous Next

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