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

Previous Next

Package: emacs;

Reported by: Stefan Kangas <stefankangas <at> gmail.com>

Date: Sun, 12 Jan 2025 14:24:01 UTC

Severity: wishlist

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

Bug is archived. No further changes may be made.

Full log


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

From: Stefan Kangas <stefankangas <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: im <at> liujiale.me, 75514 <at> debbugs.gnu.org
Subject: Re: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't
 install mps-debug
Date: Thu, 23 Jan 2025 13:17:01 -0600
Eli Zaretskii <eliz <at> gnu.org> writes:

> What is this file Formula/lib/libmps.rb?  What is its license?

It's a Homebrew (macOS) installation recipe.  You can think of it as a
poor man's deb/rpm.

The license is BSD 2-Clause License.

>> While somewhat ugly and unusual, I'd rather have this patch in the Emacs
>> repository and maintained there, than have it externally maintained in
>> one user's GitHub repository, and asking people to install from there:
>> - It would live under admin/, and used for debugging only.
>> - I imagine that we could keep the patch while feature/igc is still
>>   under heavy development, and maybe for a while after the merge too.
>> - I can volunteer to maintain the in-tree patch.
>>
>> Does that sound acceptable?
>
> Beware: keeping patches in the repository is a constant headache:
> patches usually include trailing whitespace that our commit hooks
> reject.  So each time you merge branches or cherry-pick etc., you risk
> hitting this trailing-whitespace problem, and have then manually
> override that with appropriate Git switches.
>
> Why is this patch needed? what is special in MPS that requires us to
> modify brew's tools?  If it's just for building the debug version of
> MPS, then why is it so important for us to keep the patch?  how many
> people will even want or need to build the debug version of MPS?

I have no idea.  Maybe it's just me and Gerd.

We could also send the full instructions and the patch as an email to
emacs-devel, and then point to that.  That might be easier.




This bug report was last modified 177 days ago.

Previous Next


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