From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: gerd@gnu.org, im@liujiale.me, nailuogg@gmail.com, bug-gnu-emacs@gnu.org Resent-Date: Sun, 12 Jan 2025 14:24:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 75514@debbugs.gnu.org Cc: gerd@gnu.org, jiale.liu , nailuogg@gmail.com X-Debbugs-Original-To: bug-gnu-emacs@gnu.org X-Debbugs-Original-Xcc: gerd@gnu.org, jiale.liu , nailuogg@gmail.com Received: via spool by submit@debbugs.gnu.org id=B.173669182528204 (code B ref -1); Sun, 12 Jan 2025 14:24:01 +0000 Received: (at submit) by debbugs.gnu.org; 12 Jan 2025 14:23:45 +0000 Received: from localhost ([127.0.0.1]:46481 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tWysS-0007Kq-Vw for submit@debbugs.gnu.org; Sun, 12 Jan 2025 09:23:45 -0500 Received: from lists.gnu.org ([2001:470:142::17]:33438) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tWysQ-0007Kb-71 for submit@debbugs.gnu.org; Sun, 12 Jan 2025 09:23:42 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tWysK-0000vP-Pk for bug-gnu-emacs@gnu.org; Sun, 12 Jan 2025 09:23:36 -0500 Received: from mail-ed1-x52f.google.com ([2a00:1450:4864:20::52f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tWysJ-0000w4-GA for bug-gnu-emacs@gnu.org; Sun, 12 Jan 2025 09:23:36 -0500 Received: by mail-ed1-x52f.google.com with SMTP id 4fb4d7f45d1cf-5d88c355e0dso6110395a12.0 for ; Sun, 12 Jan 2025 06:23:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1736691814; x=1737296614; darn=gnu.org; h=to:subject:message-id:date:mime-version:from:from:to:cc:subject :date:message-id:reply-to; bh=F4ypsq7cAJ+EfA2v/kG+ysXW4B+tj1EbBlhTgm4m2FA=; b=CV0cN0GSxWBb7hRm5b/sKccejkfjrQ1s0dvZybDXw3UhbtNahZ0iR0+efwJ8QQAAri hx6wRrosOQIva+rtV+TwKpC7pfvooJ5fpwD7oku0dsL2oXGe8n+2Pjdx2LcbrFuUn/8q WTxTcxZShCygHb3RT3nYCTe5aa0qqz7yp8NibJGk8M89alDW5IRJISVku72KC7hDsBT+ uT3QVXNYB5hcEr75UmNSiWUgcx0ZHfcT7RarBtBbSAAkNITlMdiuVoiZ2226Q2wvbaLP D4YvPc1A+rT+AzEh/bLxREsdku0GJDphc+ze7FbfIk86EQnsEt17ZjvpoEr8IaVH7zX8 EjKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736691814; x=1737296614; h=to:subject:message-id:date:mime-version:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=F4ypsq7cAJ+EfA2v/kG+ysXW4B+tj1EbBlhTgm4m2FA=; b=uwf9/TYuss/FHKXqcP1sK55vl3HRKrqZ+ABPDdQOK35YeFbolDGgu6+6xHJThFw3bs 0VnulpzVTHjId/UbCi63XOlaMF+HhIY9JtwvRB9RNtIgvbtl6kSVC9jRRfTI1Ybf2dU0 dCow6Dhe/SawkQAJUPoeg4EqU7DIw3cJN+WSGh0PoA+7zzZgZjWZj+8vZoZ1pffawizO +dr0AmdxC1la8FHt74SI/kGJ+7LON3vJWh83TPXJKkQ4AArWuaRQwsS8qnY1RzBSFkG8 BQCXgH6bsYMIqUntndVYe/21W4Zb+h4lEv5A4E1tTzTfC9W//uNLQNai64COZlXp9k8Z N/LQ== X-Gm-Message-State: AOJu0Yz44JFokoF8cfUsWVu2TKZDdhSDAOiP0V/eakQwL08714BSO4UD On8yxnwKvc9azuWTt6eeU0ZvUp4njaDYa/OFRqoXzh1utW0uCmatO6P8MLSBdAdOsNC1shW/lzi PhMLk1/dc9W6meNdCKOO3sVd3uGcehw== X-Gm-Gg: ASbGncs4wXASx1dk7vz+BiFik76xwuuXbBbXA801blkUR/ydK4gapStwNEtwl9oKHDs iKoT2P8NRkAKWX/P1BDMBEqHT+GnsJjST0hicIw== X-Google-Smtp-Source: AGHT+IFZWVZpUVTd+dn1DK6ZO0JuRSLvtosolAgYPj41T+enHUp/nUCqgpbwSjw8SGxKTGj5cww4mmAfR1w2IbUft2w= X-Received: by 2002:a05:6402:254d:b0:5d0:81dc:f20e with SMTP id 4fb4d7f45d1cf-5d972e1c5cfmr16611926a12.17.1736691813633; Sun, 12 Jan 2025 06:23:33 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Sun, 12 Jan 2025 14:23:33 +0000 From: Stefan Kangas MIME-Version: 1.0 Date: Sun, 12 Jan 2025 14:23:33 +0000 X-Gm-Features: AbW1kvaxMFAVjjvhwq93Ab8Qm6IMlTAOIPSONdyd2xvYVAd8-HHvJzV_LKdgFmk Message-ID: Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2a00:1450:4864:20::52f; envelope-from=stefankangas@gmail.com; helo=mail-ed1-x52f.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) 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. From unknown Mon Aug 18 09:05:27 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Stefan Kangas Subject: bug#75514: closed (Re: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug) Message-ID: References: X-Gnu-PR-Message: they-closed 75514 X-Gnu-PR-Package: emacs Reply-To: 75514@debbugs.gnu.org Date: Tue, 21 Jan 2025 00:25:03 +0000 Content-Type: multipart/mixed; boundary="----------=_1737419103-14163-1" This is a multi-part message in MIME format... ------------=_1737419103-14163-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" 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@debbugs.gnu.org. --=20 75514: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D75514 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1737419103-14163-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 75514-done) by debbugs.gnu.org; 21 Jan 2025 00:24:48 +0000 Received: from localhost ([127.0.0.1]:52376 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ta24W-0003fH-9n for submit@debbugs.gnu.org; Mon, 20 Jan 2025 19:24:48 -0500 Received: from mail-ej1-x631.google.com ([2a00:1450:4864:20::631]:44155) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1ta24C-0003eM-JN for 75514-done@debbugs.gnu.org; Mon, 20 Jan 2025 19:24:29 -0500 Received: by mail-ej1-x631.google.com with SMTP id a640c23a62f3a-aae81f4fdc4so1008867366b.0 for <75514-done@debbugs.gnu.org>; Mon, 20 Jan 2025 16:24:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737419062; x=1738023862; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=jASUIiCJTH2NIF6o2M3HEDGyov+/bhuFJ9lddXTbM38=; b=BFkEp0LX8NAGBIMAAkQFd3U/y+IteE9BMogEU3GpurWFbwOSB4XPSnCd2E0GwAU1BT 3yaVzpHFqgAQb4cG5ZxO/RO32X9zGdXTzrl41iIUQo2jbuFJbXDNpDeLrlNx/ULdV2ug v4rO2ykfhSm5umxCTYazunVgmzlMhJbOFTTp4uF7thBsNj+hHmP7cnCN1aQFskCdG1+P fnkgZ44LDjw8OIldBep/9NHNBUmQLCuQOlR4KpnSDuDlNVcFIqTNJPc1YGUrvztAHDa3 lcyHUEJSSuPSo0zcHXLDuNWq8QVhIYIJiTGfN9Cqm8nDOZKGl0RD8RHbITeh7dADgbxr Mymg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737419062; x=1738023862; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=jASUIiCJTH2NIF6o2M3HEDGyov+/bhuFJ9lddXTbM38=; b=LI8zkKf0FlkAnY46GbgpSIHkidqZ7345zHPOmDfSkIyUmgHdTv5zoSH44giO+MxcfR WVu2tr/oX4iSd6W0IBkGXVyxNd7qaTt678Ge9oI3gTD+r5CzVbDWGwpFb+phFv985RXo 52FTW+a6GmqEqtBVoB6MeeDfGAXwgO14aCMFvoFRUw88x45Hof7xgKk6alvEqWchYaFi cTwo/N3lM982Yyu6VNAyjAzSiTb0NwvT1O+2bCNlflErZ6Au8F/iJiVn1tXobTgx1Bh6 chR4jY+fmNbXUyZEJX93czkiWIuni1+0gqoAVsKM/TUft3jUFbTUk8QaPqW7NPrphlHt utkQ== X-Gm-Message-State: AOJu0YzkEq3WeshH4V17L3V88K2iuiN46zO+N/FfjQDQ9qMgAnt5I44D C4bg/bpJFnfMXpOfYOrODqu9omWwqQP/skMbDjXJAFgEUReKb6QkjJaE4LS4UJeOGQNXwsULCaG MwQbu01gKIwMVBLhIc1RJiVfGBSd3AMQT7GA= X-Gm-Gg: ASbGncsp+yiR8OIOM9IUcqbcQRnSKxXsLyuJKCgdK2wIoQSQ0H08YFVIRsnogrOhPzl Gn1TqLQjRMBtl7dRU9qKQ/SQ3NZkZo3LoVd7tWeySH7Zb0WN5EdM= X-Google-Smtp-Source: AGHT+IHM0YNP6CN249gAwPq07rWeL+n4W36DYWUWfjF3hiCuiB7IwwWqB8PU5I0xr+fp/CRnwKLLiwWz9bquKvoHspQ= X-Received: by 2002:a17:907:7e95:b0:aa6:715a:75b5 with SMTP id a640c23a62f3a-ab38b44d44fmr1157970766b.46.1737404268152; Mon, 20 Jan 2025 12:17:48 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Mon, 20 Jan 2025 14:17:47 -0600 From: Stefan Kangas In-Reply-To: (Stefan Kangas's message of "Sun, 12 Jan 2025 14:23:33 +0000") References: MIME-Version: 1.0 Date: Mon, 20 Jan 2025 14:17:47 -0600 X-Gm-Features: AbW1kvYMJXVPrLzOyfSIx6K_krFNGSUT7ggNIX0YSI6IEZ_8MNy6EdOABOmNKLk Message-ID: Subject: Re: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug To: 75514-done@debbugs.gnu.org Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 1.1 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Stefan Kangas 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 shou [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2a00:1450:4864:20:0:0:0:631 listed in] [list.dnswl.org] 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (stefankangas[at]gmail.com) 1.1 DATE_IN_PAST_03_06 Date: is 3 to 6 hours before Received: date -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 UNPARSEABLE_RELAY Informational: message has unparseable relay lines X-Debbugs-Envelope-To: 75514-done Cc: "jiale.liu" , gerd@gnu.org, nailuogg@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.1 (/) Stefan Kangas 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. ------------=_1737419103-14163-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 12 Jan 2025 14:23:45 +0000 Received: from localhost ([127.0.0.1]:46481 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tWysS-0007Kq-Vw for submit@debbugs.gnu.org; Sun, 12 Jan 2025 09:23:45 -0500 Received: from lists.gnu.org ([2001:470:142::17]:33438) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tWysQ-0007Kb-71 for submit@debbugs.gnu.org; Sun, 12 Jan 2025 09:23:42 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tWysK-0000vP-Pk for bug-gnu-emacs@gnu.org; Sun, 12 Jan 2025 09:23:36 -0500 Received: from mail-ed1-x52f.google.com ([2a00:1450:4864:20::52f]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tWysJ-0000w4-GA for bug-gnu-emacs@gnu.org; Sun, 12 Jan 2025 09:23:36 -0500 Received: by mail-ed1-x52f.google.com with SMTP id 4fb4d7f45d1cf-5d88c355e0dso6110395a12.0 for ; Sun, 12 Jan 2025 06:23:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1736691814; x=1737296614; darn=gnu.org; h=to:subject:message-id:date:mime-version:from:from:to:cc:subject :date:message-id:reply-to; bh=F4ypsq7cAJ+EfA2v/kG+ysXW4B+tj1EbBlhTgm4m2FA=; b=CV0cN0GSxWBb7hRm5b/sKccejkfjrQ1s0dvZybDXw3UhbtNahZ0iR0+efwJ8QQAAri hx6wRrosOQIva+rtV+TwKpC7pfvooJ5fpwD7oku0dsL2oXGe8n+2Pjdx2LcbrFuUn/8q WTxTcxZShCygHb3RT3nYCTe5aa0qqz7yp8NibJGk8M89alDW5IRJISVku72KC7hDsBT+ uT3QVXNYB5hcEr75UmNSiWUgcx0ZHfcT7RarBtBbSAAkNITlMdiuVoiZ2226Q2wvbaLP D4YvPc1A+rT+AzEh/bLxREsdku0GJDphc+ze7FbfIk86EQnsEt17ZjvpoEr8IaVH7zX8 EjKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1736691814; x=1737296614; h=to:subject:message-id:date:mime-version:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=F4ypsq7cAJ+EfA2v/kG+ysXW4B+tj1EbBlhTgm4m2FA=; b=uwf9/TYuss/FHKXqcP1sK55vl3HRKrqZ+ABPDdQOK35YeFbolDGgu6+6xHJThFw3bs 0VnulpzVTHjId/UbCi63XOlaMF+HhIY9JtwvRB9RNtIgvbtl6kSVC9jRRfTI1Ybf2dU0 dCow6Dhe/SawkQAJUPoeg4EqU7DIw3cJN+WSGh0PoA+7zzZgZjWZj+8vZoZ1pffawizO +dr0AmdxC1la8FHt74SI/kGJ+7LON3vJWh83TPXJKkQ4AArWuaRQwsS8qnY1RzBSFkG8 BQCXgH6bsYMIqUntndVYe/21W4Zb+h4lEv5A4E1tTzTfC9W//uNLQNai64COZlXp9k8Z N/LQ== X-Gm-Message-State: AOJu0Yz44JFokoF8cfUsWVu2TKZDdhSDAOiP0V/eakQwL08714BSO4UD On8yxnwKvc9azuWTt6eeU0ZvUp4njaDYa/OFRqoXzh1utW0uCmatO6P8MLSBdAdOsNC1shW/lzi PhMLk1/dc9W6meNdCKOO3sVd3uGcehw== X-Gm-Gg: ASbGncs4wXASx1dk7vz+BiFik76xwuuXbBbXA801blkUR/ydK4gapStwNEtwl9oKHDs iKoT2P8NRkAKWX/P1BDMBEqHT+GnsJjST0hicIw== X-Google-Smtp-Source: AGHT+IFZWVZpUVTd+dn1DK6ZO0JuRSLvtosolAgYPj41T+enHUp/nUCqgpbwSjw8SGxKTGj5cww4mmAfR1w2IbUft2w= X-Received: by 2002:a05:6402:254d:b0:5d0:81dc:f20e with SMTP id 4fb4d7f45d1cf-5d972e1c5cfmr16611926a12.17.1736691813633; Sun, 12 Jan 2025 06:23:33 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Sun, 12 Jan 2025 14:23:33 +0000 From: Stefan Kangas X-Debbugs-CC: gerd@gnu.org, jiale.liu , nailuogg@gmail.com MIME-Version: 1.0 Date: Sun, 12 Jan 2025 14:23:33 +0000 X-Gm-Features: AbW1kvaxMFAVjjvhwq93Ab8Qm6IMlTAOIPSONdyd2xvYVAd8-HHvJzV_LKdgFmk Message-ID: Subject: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug To: bug-gnu-emacs@gnu.org Content-Type: text/plain; charset="UTF-8" Received-SPF: pass client-ip=2a00:1450:4864:20::52f; envelope-from=stefankangas@gmail.com; helo=mail-ed1-x52f.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) 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. ------------=_1737419103-14163-1-- From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug References: In-Reply-To: Resent-From: "jiale.liu" Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 21 Jan 2025 15:15:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: "75514@debbugs.gnu.org" <75514@debbugs.gnu.org> Cc: "gerd@gnu.org" , Stefan Kangas Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.173747247621183 (code B ref 75514); Tue, 21 Jan 2025 15:15:02 +0000 Received: (at 75514) by debbugs.gnu.org; 21 Jan 2025 15:14:36 +0000 Received: from localhost ([127.0.0.1]:55735 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1taFxc-0005Va-31 for submit@debbugs.gnu.org; Tue, 21 Jan 2025 10:14:36 -0500 Received: from mail-10624.protonmail.ch ([79.135.106.24]:51113) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1taBlw-0002zt-Iu for 75514@debbugs.gnu.org; Tue, 21 Jan 2025 05:46:21 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=liujiale.me; s=protonmail2; t=1737456368; x=1737715568; bh=2Q/ewu1uRLAMUHYnhpW9LAWdbDOZfFKGHvHshZYBtJE=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector: List-Unsubscribe:List-Unsubscribe-Post; b=o0Sat5snO81ma1dnKzuRD+xNy+uUgmZjD/2KO696ec2FP9NURGjUnuVSay5SgJbzZ Knzw6JsUEjyhgaapCQS5QfySmy2/n9Qfr+3bgCq6dKNo63EWd5p84qGXHG137wanEh QgcJPVzXBcJoOIVTeqGYE9AQPIux2SiihhnkC4i9iiIxN1qJqfJxE2vp01ymOExzka f+5cec+5PHzRsf9bsNfcldccBmAoW4ZDhw+oY2li8jsGlAYCkPVLVUU5APcyTHxYdl E+EfawWqfBC+YhrclcvI3Vsg00N+iiilHLMnJOUIBOR4KU1tce95+rEontWHseACrw cXhYDmFitEyJg== Date: Tue, 21 Jan 2025 10:46:03 +0000 From: "jiale.liu" Message-ID: Feedback-ID: 31906680:user:proton X-Pm-Message-ID: 15bc7755a3e421b36da7ac7251575c1093034991 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.7 (/) X-Mailman-Approved-At: Tue, 21 Jan 2025 10:14:35 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) Homebrew-core expects to publish only release builds and does not accept fo= rmulae with debug builds. see: https://docs.brew.sh/Acceptable-Formulae#stable-versions Perhaps we could create a separate test formula (possibly in Homebrew/homeb= rew-test or a third-party tap) Thank=C2=A0you for=C2=A0your patience From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: "jiale.liu" Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 21 Jan 2025 15:16:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Kangas Cc: "75514@debbugs.gnu.org" <75514@debbugs.gnu.org> Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.173747251021652 (code B ref 75514); Tue, 21 Jan 2025 15:16:01 +0000 Received: (at 75514) by debbugs.gnu.org; 21 Jan 2025 15:15:10 +0000 Received: from localhost ([127.0.0.1]:55742 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1taFy9-0005cc-EK for submit@debbugs.gnu.org; Tue, 21 Jan 2025 10:15:10 -0500 Received: from mail-4018.proton.ch ([185.70.40.18]:19787) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1taCCR-0004NI-Kg for 75514@debbugs.gnu.org; Tue, 21 Jan 2025 06:13:43 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=liujiale.me; s=protonmail2; t=1737458011; x=1737717211; bh=ozD4FdMzRAlYEvJM5+1g/3j1rZ0MrM3/1mNz6dhuGa8=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector:List-Unsubscribe:List-Unsubscribe-Post; b=mRAPK1jabjw/nPjlqyrHjcOtmqsG3nAdGXg45/riLY7fFubeRedHc7hKNnAhqgTcY wSS1bUg9XgLZ0qoAkI2uyeNWD0Bem+vFZjDjg/Pfs4tENhBJHLd4DK9letEPxF/CRC rT//EM4fS38vHpYYD5YoKexo94OR/LcJSfwQ7ad+hxvw2QCYRo0sRdl+RH/XiUBve1 2O1BkiqweunFhJQ9y8L4bnNGOm1TfEe7suCAVBFLoz76toWFM8exuIIXZddNKJA/bS Rss6ceD9ITkn4Fg9gbS56ZMK+Vlt6A+RAwzQiYM5cGms1TwhFEtvvIf/R86LpZeKsw Z+9JXyjN+03UQ== Date: Tue, 21 Jan 2025 11:13:27 +0000 From: "jiale.liu" Message-ID: In-Reply-To: References: Feedback-ID: 31906680:user:proton X-Pm-Message-ID: defac41753ec8973b3539cfc619c10f619436b38 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Mailman-Approved-At: Tue, 21 Jan 2025 10:14:35 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) "Stefan Kangas" 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=3Ddebug 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 a= nd 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 From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 21 Jan 2025 19:04:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: "jiale.liu" Cc: "75514@debbugs.gnu.org" <75514@debbugs.gnu.org> Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.173748621927308 (code B ref 75514); Tue, 21 Jan 2025 19:04:02 +0000 Received: (at 75514) by debbugs.gnu.org; 21 Jan 2025 19:03:39 +0000 Received: from localhost ([127.0.0.1]:56591 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1taJXG-00076N-OG for submit@debbugs.gnu.org; Tue, 21 Jan 2025 14:03:39 -0500 Received: from mail-ed1-x532.google.com ([2a00:1450:4864:20::532]:47548) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1taJXD-000767-Nj for 75514@debbugs.gnu.org; Tue, 21 Jan 2025 14:03:36 -0500 Received: by mail-ed1-x532.google.com with SMTP id 4fb4d7f45d1cf-5d3d143376dso9129910a12.3 for <75514@debbugs.gnu.org>; Tue, 21 Jan 2025 11:03:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737486209; x=1738091009; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=a/LQDNbYUnYnUlKxKAJKclwdlK7XxdXLYDAbzqFMo0k=; b=RAaLMn4kQFjPMbrtDKNT0MPuy6/6rYaJbzdfRq6HFdHFUWx3hGYotIwogR1LphoK1R WfA8I5LmABI3KpVq6oo7B+z+nPBJqGmZTRrOB7Oj9X+Qa3y34RtosYrL+O81pkXFnQOs b8oVBIAWLaWxjqJT26ZOUVMcHCgw4upZN/jTXkL9l+HT/gt8rcwwemeNiApaZx7DfAFk DH3xfm8F2F80tyHBErpI3ls6gdnXymuwQ43LhSHd2yyM6ho8TS/lgsUvdczFIesxTg9L O/dJQU+z1eYmjfBR7lP4XBiT1KA43PiD4nE4+xVhSJYgxPeYQpIaucpKoWKEoH0MBuMb Jq8Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737486209; x=1738091009; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=a/LQDNbYUnYnUlKxKAJKclwdlK7XxdXLYDAbzqFMo0k=; b=Fnenys3HkDWIHw/6nX/hIXvBTf69VxY/8us5mwhflyAyAx0J7Yk6Tx26+wJ0iQ9BGS cR7zF+GaOtgcQKKSr40nPoOnbQo6hkTAc/RAxql+VdnZEskgF4xCQODER8IOXneJXseg 5ZF7A3WJWWps+444hITe3SlAlP1J5/cjZYw/L8aN8hrEG5tPB3WQPIpn3kR976tM6rdC joPBiLInxG2ptGs5dU/LqvNnkaCNfU1g41+IY0hBlFHY1YNqcC9ZKjJANYVxUvysPaK+ Os50CEWhSmN+NZkAeZB4gzkuRSiA0W/suOYtux4472sZnBghIXDW9i9Qaw57WFyrbgYh 5sGA== X-Gm-Message-State: AOJu0YygnCMy0HB7PB6zp+CBRRBEwh5YU06qhRYc/xxGuURn+4Mcew3S mqKPkR1ygyd+YqZEivFtiu0ijnnVFWt7Ai2lLw5vXxtXCcKQWvWDhoE4iJF0IREhqSuqmVtKcDO lSw6MdFDVi7uiXsaU6dWQz3bj595qChazRuQ= X-Gm-Gg: ASbGncvsC1VZXooBtPauHnO7Ptuqxo0J5XdIOcrjanX9ULZUiMfhjgl+wt4CawPjcma vUj5uvWbjZchYvBFHF/6N9v8bInDykrRdUOM7XC5BxnOXI0IhaPgq X-Google-Smtp-Source: AGHT+IHlNpeungd2Kq1GM8vTiOqzxAilfIN3FFyjBeT9ukKUqGVKLGUSzEFOnai/psgAa7VY9kPdP4HknGgHZHC8yBU= X-Received: by 2002:a05:6402:3496:b0:5d3:bc03:cb7a with SMTP id 4fb4d7f45d1cf-5db7db2a0a3mr18571101a12.27.1737486208707; Tue, 21 Jan 2025 11:03:28 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Tue, 21 Jan 2025 13:03:28 -0600 From: Stefan Kangas In-Reply-To: References: MIME-Version: 1.0 Date: Tue, 21 Jan 2025 13:03:28 -0600 X-Gm-Features: AbW1kvZH4-DbMluSATJrz5gjr3lgxDod6eDR1CwsRSoBUkEDFKk3Lp4AX21i_Uw Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.3 (/) "jiale.liu" writes: > Homebrew-core expects to publish only release builds and does not accept formulae with debug builds. > > see: https://docs.brew.sh/Acceptable-Formulae#stable-versions [...] > I submitted a PR to The Homebrew-core, maintainers reviewed my formula PR and identified > debug build inclusion as an issue. Thanks, this is good to know. > Do you suggest: > > 1) Using 'brew edit libmps' then add debug build command for testing I think that would work, yes. We could just provide a short script that would edit the formula for you, and then run that on the file you get from: brew edit --print-path libmps There's always the risk of the script breaking, but it will probably mostly be relevant for Emacs developers anyways, so I think that's okay. Could you provide a diff for the Homebrew formula? Thanks. From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: "jiale.liu" Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 22 Jan 2025 00:23:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Kangas Cc: "75514@debbugs.gnu.org" <75514@debbugs.gnu.org> Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.17375053493265 (code B ref 75514); Wed, 22 Jan 2025 00:23:02 +0000 Received: (at 75514) by debbugs.gnu.org; 22 Jan 2025 00:22:29 +0000 Received: from localhost ([127.0.0.1]:58272 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1taOVo-0000qa-RJ for submit@debbugs.gnu.org; Tue, 21 Jan 2025 19:22:29 -0500 Received: from mail-10627.protonmail.ch ([79.135.106.27]:49767) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1taOVf-0000pw-Ml for 75514@debbugs.gnu.org; Tue, 21 Jan 2025 19:22:26 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=liujiale.me; s=protonmail2; t=1737505331; x=1737764531; bh=9rsXcsHQ3BVarhhl02e6IlLWUX+7TidT7ddUEClplS4=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector:List-Unsubscribe:List-Unsubscribe-Post; b=qR3TrrzC3H2J2egkJvTxDhpju8muKX0piSdYzmazwYLXcdq90FZz1WE7h0BaMFNzM 9p/JX9Ym4+uo+korxCfsaveI7s6uplP3/uQNYU0y2L3afLbzi1j/JqRkuIcaHvst4N YX4fylIuHYldzBp44dAVaLmzX6VM+GhVU7eX2O0MFxGMvmX54gu1Fdl7EvJL3OPq6s gD8ZGEzo+BCuFr8Jqz4+2f1jQ9SJqw0LduXP1Cl6ZwNtsLsDgutFbMWGe1F6A5pshB uyavxC2aRBn2xur/J1F333z6UC9rOVjVCbHLw4Thk+U5xK/o2Juhu6RFk7U4o+cL1p FZitJLgLTmztw== Date: Wed, 22 Jan 2025 00:22:07 +0000 From: "jiale.liu" Message-ID: In-Reply-To: References: Feedback-ID: 31906680:user:proton X-Pm-Message-ID: 8c7ae050c7b197f12a00e5009c2cd666f6815a34 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="b1=_DWhQhE6CLsRmOjZspSA0cisX4LBJD35sfWli1cbcgY" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --b1=_DWhQhE6CLsRmOjZspSA0cisX4LBJD35sfWli1cbcgY Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable "Stefan Kangas" 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_ version= s 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-d= ebug.patch # edit formula manually $ brew edit --print-path libmps # Compile from latest source with debug symbols $ HOMEBREW_NO_INSTALL_FROM_API=3D1 brew install --build-from-source libmps = --HEAD -- --b1=_DWhQhE6CLsRmOjZspSA0cisX4LBJD35sfWli1cbcgY Content-Type: text/x-patch; name=libmps-debug.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=libmps-debug.patch ZGlmZiAtLWdpdCBhL0Zvcm11bGEvbGliL2xpYm1wcy5yYiBiL0Zvcm11bGEvbGliL2xpYm1wcy5y Yg0KaW5kZXggMDU2NGE2YTFiNDkuLmMwZjI0ZmZhNzM5IDEwMDc1NQ0KLS0tIGEvRm9ybXVsYS9s aWIvbGlibXBzLnJiDQorKysgYi9Gb3JtdWxhL2xpYi9saWJtcHMucmINCkBAIC0xNywyOSArMTcs MjEgQEAgY2xhc3MgTGlibXBzIDwgRm9ybXVsYQ0KICAgICBzaGEyNTYgY2VsbGFyOiA6YW55X3Nr aXBfcmVsb2NhdGlvbiwgeDg2XzY0X2xpbnV4OiAgICJjNTQwNDNjMGZjZjcxODE3MmExZDlmMjBl OWVhZTcyODcxODBkMjZmNDMwNmY2NTJjMTlmM2Q0NjBmYWY2OGU5Ig0KICAgZW5kDQogDQotICBk ZXBlbmRzX29uIHhjb2RlOiA6YnVpbGQNCi0NCiAgIGRlZiBpbnN0YWxsDQotICAgIGlmIE9TLm1h Yz8NCi0gICAgICAjIG1hY09TIGJ1aWxkIHByb2Nlc3MNCi0gICAgICAjIGZvciBidWlsZCBuYXRp dmUgYnV0IG5vdCB1bml2ZXJzYWwgYmluYXJ5DQotICAgICAgIyBodHRwczovL2dpdGh1Yi5jb20v UmF2ZW5icm9vay9tcHMvYmxvYi9tYXN0ZXIvbWFudWFsL2J1aWxkLnR4dA0KLSAgICAgIHhjb2Rl YnVpbGQgIi1zY2hlbWUiLCAibXBzIiwNCi0gICAgICAgICAgICAgICAgICItY29uZmlndXJhdGlv biIsICJSZWxlYXNlIiwNCi0gICAgICAgICAgICAgICAgICItcHJvamVjdCIsICJjb2RlL21wcy54 Y29kZXByb2oiLA0KLSAgICAgICAgICAgICAgICAgIk9USEVSX0NGTEFHUz0tV25vLWVycm9yPXVu dXNlZC1idXQtc2V0LXZhcmlhYmxlIC1Xbm8tdW51c2VkLWJ1dC1zZXQtdmFyaWFibGUiDQotDQot ICAgICAgIyBJbnN0YWxsIHRoZSBzdGF0aWMgbGlicmFyeQ0KLSAgICAgIGxpYi5pbnN0YWxsICJj b2RlL3hjL1JlbGVhc2UvbGlibXBzLmEiDQotDQotICAgICAgIyBJbnN0YWxsIGhlYWRlciBmaWxl cw0KLSAgICAgIGluY2x1ZGUuaW5zdGFsbCBEaXJbImNvZGUvbXBzKi5oIl0NCi0NCi0gICAgZWxz ZQ0KLSAgICAgIEVOVi5kZXBhcmFsbGVsaXplDQotICAgICAgc3lzdGVtICIuL2NvbmZpZ3VyZSIs ICItLXByZWZpeD0je3ByZWZpeH0iDQotICAgICAgc3lzdGVtICJtYWtlIg0KLSAgICAgIHN5c3Rl bSAibWFrZSIsICJpbnN0YWxsIg0KKyAgICBjZCAiY29kZSIgZG8NCisgICAgICAjIFVuaXZlcnNh bCBidWlsZCBwcm9jZXNzIGZvciBhbGwgcGxhdGZvcm1zDQorICAgICAgIyBCdWlsZCBSZWxlYXNl IHZlcnNpb24NCisgICAgICBzeXN0ZW0gRU5WLmNjLCAiLU8yIiwgIi1jIiwgIm1wcy5jIiwgIi1v IiwgIm1wcy5vIg0KKyAgICAgIHN5c3RlbSAiYXIiLCAicnZzIiwgImxpYm1wcy5hIiwgIm1wcy5v Ig0KKyAgICAgIGxpYi5pbnN0YWxsICJsaWJtcHMuYSINCisNCisgICAgICAjIEJ1aWxkIERlYnVn IHZlcnNpb24NCisgICAgICBzeXN0ZW0gRU5WLmNjLCAiLU8wIiwgIi1nIiwgIi1EQ09ORklHX1ZB Ul9DT09MIiwgIi1jIiwgIm1wcy5jIiwgIi1vIiwgIm1wcy1kZWJ1Zy5vIg0KKyAgICAgIHN5c3Rl bSAiYXIiLCAicnZzIiwgImxpYm1wcy1kZWJ1Zy5hIiwgIm1wcy1kZWJ1Zy5vIg0KKyAgICAgIGxp Yi5pbnN0YWxsICJsaWJtcHMtZGVidWcuYSINCisNCisgICAgICAjIEluc3RhbGwgaGVhZGVycw0K KyAgICAgIGluY2x1ZGUuaW5zdGFsbCBEaXJbIm1wcyouaCJdDQogICAgIGVuZA0KICAgZW5kDQog DQo= --b1=_DWhQhE6CLsRmOjZspSA0cisX4LBJD35sfWli1cbcgY-- From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 22 Jan 2025 23:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: "jiale.liu" Cc: "75514@debbugs.gnu.org" <75514@debbugs.gnu.org>, Eli Zaretskii Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.17375874482498 (code B ref 75514); Wed, 22 Jan 2025 23:11:02 +0000 Received: (at 75514) by debbugs.gnu.org; 22 Jan 2025 23:10:48 +0000 Received: from localhost ([127.0.0.1]:37448 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tajrz-0000eE-SF for submit@debbugs.gnu.org; Wed, 22 Jan 2025 18:10:48 -0500 Received: from mail-ed1-x52a.google.com ([2a00:1450:4864:20::52a]:45514) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tajrx-0000dq-6X for 75514@debbugs.gnu.org; Wed, 22 Jan 2025 18:10:45 -0500 Received: by mail-ed1-x52a.google.com with SMTP id 4fb4d7f45d1cf-5db6890b64eso643808a12.3 for <75514@debbugs.gnu.org>; Wed, 22 Jan 2025 15:10:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737587439; x=1738192239; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=IRJI6BnWw+dHzgRL6mKUfFQiBDFV/b68VaodDQvuAeY=; b=iENTeiIGFDyMbU4Z3YUURpXflSt0+xAnaLm2wPT/Lkd3Fjn6kgTSJK11snbumE40Vn Vl4eNkUspm73nUFXVpT27cKp0tRDN5zpx35HPIOdlq6W5oJ3390xBAR+XOXY4CytlovN JLTNFEAzQIng/NSPrXTdfnL4ystyfyClkSPKzPPgRk1MITN4cmyYJuryP56wHMcvt3kO uO9MiO341KPOjYw03Fc9eyDxO0GVF5jhN4yhAqqrm27DMRwmUAtdxjb/L9VWYdZBYMmz yIosvpjXBeuOW0P2ekO0LoEV19/f65YDiZ6hkyN8D0gAlmepoy3STm4YPEb4v6Ibxt35 +Yhg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737587439; x=1738192239; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=IRJI6BnWw+dHzgRL6mKUfFQiBDFV/b68VaodDQvuAeY=; b=LN9DqQ1K/Fa9aTQxRJ2tLxuO968LP1kjDXLa/5CQz+PcnafrUjDx/vJYmawgW5gx40 4dP+8laQzGjp/xhQbOP7hTfD4wZCnFL4YU8CPJTsoe3A2okCKQNWWwuoNJfGFPtxjnyC 7gRCo0nRBwOcy8BK2B1ezH1r/zM2L8lfw5hCvZ9q8Gq+/NwGhe+6zTuiVMmxxiXV42DD Y0Bs+vcFPNRUp0xXMOOnnpTDcFYYPsEvN9wDB3kOuxBTYQ7cGxW5qj7DsCIYE2GsTifk 5gVsZ3JjQ2F6Fw6/6LjkQNKPHj/7rRevg6Io2gDypuJ7gsMcFNHvJIkPDBwEIE9E1+iB uZ6w== X-Gm-Message-State: AOJu0YzBkRRt/ctFET9RTi7S9+kvVnjzNvIAE+7OlTq69JmSAk/Am1oO NZmvvC1yNrJv/qmoohtx5uHd2T8V0K28ku20wRhaFgbun0Q9zUnJFqgKShcUAYnOR8ZhV62FY20 QvMxbY2FFuiMWPvei14qQThHtaj8= X-Gm-Gg: ASbGncus4Rqukli8X/ps6UJ1w+4uXWe8XugF/OgXsm1MYMSBvc/6/SsJUUhlTMgftaW sDLGjlh6WYkb+yOKExgsjZ0jJBOp4Alo0xjKXrBg8XN7b+QCV+E2b X-Google-Smtp-Source: AGHT+IEniUwhJiPI6wEXbJKtOf9DSBc8lImvcvIQH2UJLXCQTobv8n1vTz2vygimlWjuY7kLfvITuKX9hLlu/hl4nO8= X-Received: by 2002:a05:6402:2813:b0:5db:731d:4456 with SMTP id 4fb4d7f45d1cf-5db7db07839mr24584785a12.28.1737587438825; Wed, 22 Jan 2025 15:10:38 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Wed, 22 Jan 2025 17:10:38 -0600 From: Stefan Kangas In-Reply-To: References: MIME-Version: 1.0 Date: Wed, 22 Jan 2025 17:10:38 -0600 X-Gm-Features: AWEUYZkCCjNmLcT6DHgdweIsQDCNKOereW21g26BhVl3ULeX4SzYdtGiq2sMirU Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) "jiale.liu" writes: > Yes, the requested diff is attached to this email. > > This patch modifies the formula to build both _release_ and _debug_ versions simultaneously. That's useful, thanks! Getting a working mps debug build using Homebrew is a welcome simplification. > 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 I think we could provide the patch as a file in the Emacs repository, and then the instructions to modify the file should be something like this: brew upgrade brew tap homebrew/core --force patch "$(brew edit --print-path libmps)" < admin/mps/mps-homebrew.patch HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source libmps --HEAD The above is tested and works here, with your patch. Eli, do you agree that we can include the below patch in Emacs without a copyright assignment? AFAICT, it removes many lines, but then only adds 14 lines of Ruby code, 4 of which are comments and could be removed if necessary. 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? > diff --git a/Formula/lib/libmps.rb b/Formula/lib/libmps.rb > index 0564a6a1b49..c0f24ffa739 100755 > --- a/Formula/lib/libmps.rb > +++ b/Formula/lib/libmps.rb > @@ -17,29 +17,21 @@ class Libmps < Formula > sha256 cellar: :any_skip_relocation, x86_64_linux: "c54043c0fcf718172a1d9f20e9eae7287180d26f4306f652c19f3d460faf68e9" > end > > - depends_on xcode: :build > - > def install > - if OS.mac? > - # macOS build process > - # for build native but not universal binary > - # https://github.com/Ravenbrook/mps/blob/master/manual/build.txt > - xcodebuild "-scheme", "mps", > - "-configuration", "Release", > - "-project", "code/mps.xcodeproj", > - "OTHER_CFLAGS=-Wno-error=unused-but-set-variable -Wno-unused-but-set-variable" > - > - # Install the static library > - lib.install "code/xc/Release/libmps.a" > - > - # Install header files > - include.install Dir["code/mps*.h"] > - > - else > - ENV.deparallelize > - system "./configure", "--prefix=#{prefix}" > - system "make" > - system "make", "install" > + cd "code" do > + # Universal build process for all platforms > + # Build Release version > + system ENV.cc, "-O2", "-c", "mps.c", "-o", "mps.o" > + system "ar", "rvs", "libmps.a", "mps.o" > + lib.install "libmps.a" > + > + # Build Debug version > + system ENV.cc, "-O0", "-g", "-DCONFIG_VAR_COOL", "-c", "mps.c", "-o", "mps-debug.o" > + system "ar", "rvs", "libmps-debug.a", "mps-debug.o" > + lib.install "libmps-debug.a" > + > + # Install headers > + include.install Dir["mps*.h"] > end > end > From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 23 Jan 2025 07:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Kangas Cc: im@liujiale.me, 75514@debbugs.gnu.org Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.17376161034475 (code B ref 75514); Thu, 23 Jan 2025 07:09:02 +0000 Received: (at 75514) by debbugs.gnu.org; 23 Jan 2025 07:08:23 +0000 Received: from localhost ([127.0.0.1]:38844 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tarKB-0001A4-1E for submit@debbugs.gnu.org; Thu, 23 Jan 2025 02:08:23 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:55642) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1tarK8-00019l-KB for 75514@debbugs.gnu.org; Thu, 23 Jan 2025 02:08:21 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tarK2-0003ve-J5; Thu, 23 Jan 2025 02:08:14 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=JbTtkmtoJsxBTxqLDC9WNzLnmFU1ZeajP43Ly79Gvko=; b=m/fJfoBvpWVX N4H+Z0tIZqeR44wtRkKmQxxiuNRI60B3otdqsNYbgGHHJrDHpMYzmuHGF45dhqeQN5m3IHcLDKKXl U+G8AVF69jebInIjsRqdP8DT346+snipNqGbiPo3wlmijVSn64hvsc9PJ4UOSrRKglXlI6WKJRiAQ Ne0ugQdPUaOszuyIkdofqnmjoh5UR92GOkCwc21vICGC9A8eE5LnFgPvw4agYSbY012pWXZ6/eMjw kmeXXJc7gw9UqEGBOq5eR6tkwwuQ9JO2dlM87xP/6KDsuo7rFnlBK3y/TG4lWD9GXvk6e8EuVZ3up 8xZ8P0dORJo22u9yho2dYA==; Date: Thu, 23 Jan 2025 09:08:10 +0200 Message-Id: <864j1q2ejp.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: (message from Stefan Kangas on Wed, 22 Jan 2025 17:10:38 -0600) References: X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Stefan Kangas > Date: Wed, 22 Jan 2025 17:10:38 -0600 > Cc: "75514@debbugs.gnu.org" <75514@debbugs.gnu.org>, Eli Zaretskii > > "jiale.liu" writes: > > > Yes, the requested diff is attached to this email. > > > > This patch modifies the formula to build both _release_ and _debug_ versions simultaneously. > > That's useful, thanks! Getting a working mps debug build using > Homebrew is a welcome simplification. > > > 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 > > I think we could provide the patch as a file in the Emacs repository, > and then the instructions to modify the file should be something like > this: > > brew upgrade > brew tap homebrew/core --force > patch "$(brew edit --print-path libmps)" < admin/mps/mps-homebrew.patch > HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source libmps --HEAD > > The above is tested and works here, with your patch. > > Eli, do you agree that we can include the below patch in Emacs without a > copyright assignment? AFAICT, it removes many lines, but then only adds > 14 lines of Ruby code, 4 of which are comments and could be removed if > necessary. What is this file Formula/lib/libmps.rb? What is its 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? Isn't it possible to ask whoever maintains brew or even the MPS folks to include this in their distributions? Or some other solution, which would avoid the need for us to keep this in our repository. Because it sounds overboard to me to be the keepers of such a patch, even more than keeping MPS patches. MPS is an external library, and as long as we are treating at as such, I'd like to avoid adding to our repository stuff that is needed for building MPS. The instructions we have in INSTALL-IGC about that are fine, but going much farther and deeper in our involvement in MPS build procedures is too much for my palate. Especially since it involves macOS tools, for which we have very little expertise on board to support our being responsible for these patches. From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 23 Jan 2025 19:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Eli Zaretskii Cc: im@liujiale.me, 75514@debbugs.gnu.org Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.173765983730019 (code B ref 75514); Thu, 23 Jan 2025 19:18:02 +0000 Received: (at 75514) by debbugs.gnu.org; 23 Jan 2025 19:17:17 +0000 Received: from localhost ([127.0.0.1]:42398 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tb2hU-0007o4-Ue for submit@debbugs.gnu.org; Thu, 23 Jan 2025 14:17:16 -0500 Received: from mail-ed1-x52e.google.com ([2a00:1450:4864:20::52e]:54765) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tb2hQ-0007nj-8V for 75514@debbugs.gnu.org; Thu, 23 Jan 2025 14:17:10 -0500 Received: by mail-ed1-x52e.google.com with SMTP id 4fb4d7f45d1cf-5dc10fe4e62so1750861a12.1 for <75514@debbugs.gnu.org>; Thu, 23 Jan 2025 11:17:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737659822; x=1738264622; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=B5+Cdi00LlcQ3CuyJCBMzahwfpGLxFYLVAxNuvYv/EU=; b=kDpbHjwHk3xiojyXPaIV9q4OXSdMJc8qlj2esqDBr37DJA5e695zVG96JSHAZ03F3P ZZwqHIwWsyEAARpC4u3UWUhYzyZUqstM8BKy8TAq0AC1rJGMI8aBublcI8ZTcDiHxJa2 SVeyj3QAa5wHP5gjt6yoN88pYIEV4A4rbyNko/32dCAEA7FcUTWRZQpkfasnHK0JZNE9 ZsOrs/zUoTBz9ee4DTRUbAkpGKoeTGjBtRrsJo1qLpqkscS7Z5vz0mF3J+3Vy3XWRRhQ 2SOx0O5tkwcZ4z1pVbOCT0QrdDXmmnZDgx0XQaJrR15MXTUxnjsWjP5I6ECcIkF6M2Oj Uh2A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737659822; x=1738264622; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=B5+Cdi00LlcQ3CuyJCBMzahwfpGLxFYLVAxNuvYv/EU=; b=v7E4gZxuB6LZcup6+oGP30YhuhCSnbbP4F3m9pijsiEm33L/6TCO20fN/dUz3Ww69B A26zR8mdEEMqH8yzzzz2IpnapzwzUCmAsZOPwGes0jWcxzdKRNR0lYL7bzav/sm6uDml AOBVOWpR8fZySnZ0w7ILuc5Ud8jpwazkFYV7d2VmO0B3oH301gsWtVszb06B+84hLVdr B6lmpLLeDwAuYhhFCksFyhY7+oZY8sk9WOj45Oxw8F7ro+fZb8boRKZa9qmssYuIaCrx spA2ABF8IDDCmWRu8Sgr5x3PhkSViJbmnaMx4nwlrYapZNvHM679+WvVxy2nvoEgAka9 gMzQ== X-Forwarded-Encrypted: i=1; AJvYcCXLiaugkBgPU9t5dkb8HQIGouufcnilNdspafvnZ2l9Nh/sXUHHV9PVIdSXRZQpKjFDf634Sw==@debbugs.gnu.org X-Gm-Message-State: AOJu0YxWRubCdpBdaJaFnxQcUNALTVViN2uPTfWMrnRFC9LPqjDJ+uhE qvXLPFrgYBwIEjfndSb7R2joA1v9PoVE2vGGRU0F/3C9G+XbiCvWQlBBT6mTul+1LqR7qZ9qWxH 6DVOonWszt+Q5ksaLGc5jqIZDUkI= X-Gm-Gg: ASbGncsAHxP5bdXJxCHTLvPiishfVDUaO8kjnzHgH1WALX0ffBpfc8b3SyW+EYLsr4e B2TL/ojTpMGx2pUfjsWQ5nvZ4dsAdTEVn/nwMtZBMYdP/nDL8uzHleXEmakdqxRU= X-Google-Smtp-Source: AGHT+IEjCSdJZ9IfleccRy6lMWZPa5gw1/kkJttjzaAsUIsyMYnr3JHtd64eHAsXAmlgh86HVOM+j+zgFOsL9d9tepo= X-Received: by 2002:a05:6402:518f:b0:5d0:81dc:f20e with SMTP id 4fb4d7f45d1cf-5db7d318a0bmr27082224a12.17.1737659821811; Thu, 23 Jan 2025 11:17:01 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Thu, 23 Jan 2025 13:17:01 -0600 From: Stefan Kangas In-Reply-To: <864j1q2ejp.fsf@gnu.org> References: <864j1q2ejp.fsf@gnu.org> MIME-Version: 1.0 Date: Thu, 23 Jan 2025 13:17:01 -0600 X-Gm-Features: AWEUYZnoJCMrIonXtO5g7cj-eCn32dJ7JKOPna57kVe2rNIxWMI87fQga4-WJrY Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Eli Zaretskii 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. From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 23 Jan 2025 19:35:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Eli Zaretskii Cc: im@liujiale.me, 75514@debbugs.gnu.org Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.1737660894773 (code B ref 75514); Thu, 23 Jan 2025 19:35:01 +0000 Received: (at 75514) by debbugs.gnu.org; 23 Jan 2025 19:34:54 +0000 Received: from localhost ([127.0.0.1]:42439 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tb2yW-0000CG-96 for submit@debbugs.gnu.org; Thu, 23 Jan 2025 14:34:54 -0500 Received: from mail-ed1-x531.google.com ([2a00:1450:4864:20::531]:45188) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tb2yE-0000Bd-Es for 75514@debbugs.gnu.org; Thu, 23 Jan 2025 14:34:30 -0500 Received: by mail-ed1-x531.google.com with SMTP id 4fb4d7f45d1cf-5dc052246e3so2812711a12.2 for <75514@debbugs.gnu.org>; Thu, 23 Jan 2025 11:34:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737660864; x=1738265664; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=i1GQLRYUh6bb81Q0NArFN0gYkDlT/4C+I4jNsViz0ec=; b=HAKAxx1ddemDY56jMlN4e1qCegsJ/a54xn3+GlMmLfkVrP2sZwuVN+DZltfgOjSkvB b9UrVNEkcgA17kI2H6Exva2cVnpst+CIXcITpmAawRkk1BwSIBbdBGjwCBB9LwbMPenK qxygTd0F8dYnA8Xw2ipEbNDIjhiqVRp06k0kWDUFQ2bEhj/5hj28zKPYzjkaYZ8E5ZE/ 1a6HKHRCQEVFRSfUmO78R5NKT/oO0WvI03GlI+ccThkiku828fO5MFK/1AGw0HTAEgWR Bpcrqmq3pm84bSNxDPKnSznmMSO1PmJrK1po4Xpm1ViYGLRdJx3ehA4DstTBuo9WxeiX ueoA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737660864; x=1738265664; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=i1GQLRYUh6bb81Q0NArFN0gYkDlT/4C+I4jNsViz0ec=; b=apwS1X1+cPIRPw428o750kMKB3QmuwY6r1mCZWGJEBWTfCxtV6f1njVjJSHz1C4los ieWOAInUV/0bOxRVi57lJ0b4/UDTXs6iVbbQZJf362SDxQGodc9sh4kb70U4lTjAmZmt ZLEwKP3nDSa3CxVG6ZWw3lViZz5FkVSwjGF+S0iHzILFjXNaUZDnVg/yz2zicMbJVFGs 1Qq+p7bmIFYZhh9nDlNBmc05R3EDqXDlh5yPk4q3f0MTGVM0WPwKQ6fnPz8WvJza5Q6F wWaUgEme684miyRY7xEonUDlEfhNWYNkkKN6vN/+2fmwbU8J/+a52au9Wtzl+aEa2FOb n6Ng== X-Forwarded-Encrypted: i=1; AJvYcCU9SI2QI/ifcMh6I+pde7aziDqcQsGrrS4DhNgoGhd1EqGUUByyArdYRJd97duqViyQdooRhg==@debbugs.gnu.org X-Gm-Message-State: AOJu0YywpWJqCtnSmrfJAfUIH6uef9Dcilbjgwze3Eab/zY9I/N8z5Dq 3SukkZGGYmqESZFJiCoDwFYi3N1ifvWabu2glM4ZWyFYBHOXwhaXWdZVm2DhrPKxLT55VGoCKP5 xHzm+Ue2f4TceFSw6NvduYHlXS+g= X-Gm-Gg: ASbGncvx2+2i+ZIehzFDcOBpB5NL10ylrWBfRn79DFIN+xOlpWLrB2ghfBbm3FcdMZI B8ktFiNhXKJzg0gF07DTHKuY6ECSGLCUyaIgWh4Ks1F3ApdZi1WbB+83CSFiYDik= X-Google-Smtp-Source: AGHT+IED+nd0TnyDS47JQkqnTinDYeoqxRdiHo9rxCp1vVzjUejSP5KwzAFuiknykmhesPJbS6EmIwRagb8jt6DcOqg= X-Received: by 2002:a05:6402:518f:b0:5da:7f7:b9b2 with SMTP id 4fb4d7f45d1cf-5db7d318b5dmr28428176a12.18.1737660864102; Thu, 23 Jan 2025 11:34:24 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Thu, 23 Jan 2025 11:34:23 -0800 From: Stefan Kangas In-Reply-To: References: <864j1q2ejp.fsf@gnu.org> MIME-Version: 1.0 Date: Thu, 23 Jan 2025 11:34:23 -0800 X-Gm-Features: AWEUYZmBSulYC_Kcr0Zan-5V6bRaSq4QKclWV3rqww_VPtBlPQJF6p5LTrYhZ-I Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Stefan Kangas writes: > 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. Now done. Thanks again to Jiale Liu for your efforts! https://lists.gnu.org/r/emacs-devel/2025-01/msg00886.html From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Ship Mints Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 23 Jan 2025 19:39:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Kangas Cc: im@liujiale.me, Eli Zaretskii , 75514@debbugs.gnu.org Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.17376610891546 (code B ref 75514); Thu, 23 Jan 2025 19:39:02 +0000 Received: (at 75514) by debbugs.gnu.org; 23 Jan 2025 19:38:09 +0000 Received: from localhost ([127.0.0.1]:42447 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tb31k-0000Or-Dr for submit@debbugs.gnu.org; Thu, 23 Jan 2025 14:38:08 -0500 Received: from mail-ua1-x92c.google.com ([2607:f8b0:4864:20::92c]:41989) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tb31h-0000OE-PS for 75514@debbugs.gnu.org; Thu, 23 Jan 2025 14:38:06 -0500 Received: by mail-ua1-x92c.google.com with SMTP id a1e0cc1a2514c-85c436db302so641443241.0 for <75514@debbugs.gnu.org>; Thu, 23 Jan 2025 11:38:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737661080; x=1738265880; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=9llHKI47E2P/X1M9cXqDnx0SKAx0Mz4M/SzxXOf2Yl8=; b=QU3O/ysrI/vZk1tFug/ayGnke3dIID0Bvq0D7Bm3mLDKjd+ENhAVPPKOA2aPjpoSxK pfoqliPS8CrWdK82Lr1w2AH4S5SSe2a8AkaXo/vbNxUi3BvXl/eTq58Y5P5IWcjSmaza 5wMbeyituKUp11PXvqsGWEbaer/Co9rEp78GiTLK4MQnpMdWLO2+h/M3SZUvnlP4fOXn K0TXAm82NqGLqlxiSdIFIpFjqO+Vg4BfjiYBVeSHX+um/uuo4EFayWgrh0c7Iu70Qkps hDKyXtObBc2FBoxxeZFGfyZj/CxuAwI0iHkOU3ojDeR08RqqxcqOiKaKQ57gvXbzkQf/ Ymsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737661080; x=1738265880; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=9llHKI47E2P/X1M9cXqDnx0SKAx0Mz4M/SzxXOf2Yl8=; b=Zbe5LiQSndhL2oOSvRBDAFCNxVeAUmGnsHY6lMJYrMR08EK4zGv5j7UxBkOf1fyO/m VS3/Hj9uTC1hMS6S3zLENFbkSE5wBQc2gfZEd4JYxo+UArjnsdTwyh5oJg+LoUkC4QnL hfALXtZ0Gx1/D335qoFfd72bR6NrxyaQ6HNrNDb7SUWgD9i8GFdCUJ8+RN4wnRtr0YNo e6Gd+SdOCfSWHVR/Ln/nk6pS17UytegI4CQgKkCDtanQK2Cwg9vgDnf/ywQIo9+Z303E tBQMANmZxZL85JjaseOJCwWjC/A5rqlAiwR2B9NUOFVlI7VK3Uu8e/uSk9Crr4J09MdR JnRg== X-Forwarded-Encrypted: i=1; AJvYcCWAERqtexmVzxnArTSBvb0KSVxVWQmOV71pjudDoUm3Li1NuztytpOxaE+5kWnLCV3DZ3uQag==@debbugs.gnu.org X-Gm-Message-State: AOJu0Yxvo4l+LsLTO150KkfAe86rWJghz7K0dEuu28QnXXKT9WPXjync i9l8CjiBEgBakHCsBEzL4rEUnyAVkxiT6KR2egGN8ju5rxm6/4ndZ9xonwPXwR6LzXaCdAXJvX4 SIxS8QFPAoIFwME/zeIWY9iW6QVM= X-Gm-Gg: ASbGncvebmcyKN/gtLvxllS/vJ1Cdbxh4d8A0XOXREPmhZKvOV/lhk1vQrrRq5p0XxM y5lj9hpUtYbTStvbrqw0clEUDNzYOfTIIZxNiAHh0YVy92B49zAN9lTx5vni7yQ== X-Google-Smtp-Source: AGHT+IESb9yRE1m+O+TCFICSFfxo+Q8x0zyfA7+HWRgG+sEGGei5SGBbX4bESA6IKCyD7UMUNJKPq66ItNZJEvxtqtU= X-Received: by 2002:a67:e2ca:0:b0:4af:57df:8697 with SMTP id ada2fe7eead31-4b709d0b4f6mr908446137.10.1737661079977; Thu, 23 Jan 2025 11:37:59 -0800 (PST) MIME-Version: 1.0 References: <864j1q2ejp.fsf@gnu.org> In-Reply-To: From: Ship Mints Date: Thu, 23 Jan 2025 14:36:18 -0500 X-Gm-Features: AWEUYZn5kp2HGRN7XJuIK9umtPZveGwvo1JuoJw1ZCvxZzX8UgVGqsplskI2aZI Message-ID: Content-Type: multipart/alternative; boundary="00000000000069878b062c64bf29" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --00000000000069878b062c64bf29 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I'll use it eventually. Though I might be off homebrew and onto something actually repeatable (I'll gripe about Guix macOS being weak, err, non-existent, and too bad because guile is much nicer than nix). I'm also still on Monterey 12.7.6 on all my Macs (most stable ever) so testing on that might be helpful. Note: the homebrew recipe is not built for Monterey as the homebrew people consider that unsupported. That might trip up some testing volunteers. On Thu, Jan 23, 2025 at 2:18=E2=80=AFPM Stefan Kangas wrote: > Eli Zaretskii 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 Ema= cs > >> 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. > > > > --00000000000069878b062c64bf29 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I'll use it eventually. Though I might be off homebrew and onto some= thing actually repeatable (I'll gripe about Guix macOS being weak, err,= non-existent, and too bad because guile is much nicer than nix). I'm a= lso still on Monterey 12.7.6 on all my Macs (most stable ever) so testing o= n that might be helpful.

Note: the homebrew recipe is not built for Monterey as the home= brew people consider that unsupported. That might trip up some testing volu= nteers.

On Thu, Jan 23, 2025 at 2:18=E2=80=AFPM = Stefan Kangas <stefankangas@gm= ail.com> wrote:
Eli Zaretskii <= eliz@gnu.org> writes:

> What is this file Formula/lib/libmps.rb?=C2=A0 What is its license?
It's a Homebrew (macOS) installation recipe.=C2=A0 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 maintaine= d in
>> one user's GitHub repository, and asking people to install fro= m there:
>> - It would live under admin/, and used for debugging only.
>> - I imagine that we could keep the patch while feature/igc is stil= l
>>=C2=A0 =C2=A0under heavy development, and maybe for a while after t= he 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.=C2=A0 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?=C2=A0 If it's just for building the debug= version of
> MPS, then why is it so important for us to keep the patch?=C2=A0 how m= any
> people will even want or need to build the debug version of MPS?

I have no idea.=C2=A0 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.=C2=A0 That might be easier.



--00000000000069878b062c64bf29-- From unknown Mon Aug 18 09:05:27 2025 X-Loop: help-debbugs@gnu.org Subject: bug#75514: scratch/igc: Clarify that `brew install limps` doesn't install mps-debug Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 23 Jan 2025 21:38:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 75514 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Ship Mints Cc: im@liujiale.me, Eli Zaretskii , 75514@debbugs.gnu.org Received: via spool by 75514-submit@debbugs.gnu.org id=B75514.173766826723849 (code B ref 75514); Thu, 23 Jan 2025 21:38:02 +0000 Received: (at 75514) by debbugs.gnu.org; 23 Jan 2025 21:37:47 +0000 Received: from localhost ([127.0.0.1]:42658 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tb4tW-0006Cb-L6 for submit@debbugs.gnu.org; Thu, 23 Jan 2025 16:37:46 -0500 Received: from mail-ed1-x532.google.com ([2a00:1450:4864:20::532]:48415) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tb4tT-0006CE-SI for 75514@debbugs.gnu.org; Thu, 23 Jan 2025 16:37:44 -0500 Received: by mail-ed1-x532.google.com with SMTP id 4fb4d7f45d1cf-5dc0522475eso2950598a12.1 for <75514@debbugs.gnu.org>; Thu, 23 Jan 2025 13:37:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737668258; x=1738273058; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=HVDNir/Xq5KQTCJahHuiY/Zh+CG8++/JiIx0WI/3QQ8=; b=jMiIozBC/JLzroOscofk74XBW2iCso9avBV+ckwaT6DqAK2LIbhbPrrKLgwG/ZcsZk N1RaXb8OgimQoQYADuxSjtI45SLP54BDSGSh8h3f8FZBBk0Nlhbb17M+tWYkJ9E0p2k6 68LMNwp7JpBd4QK6X3Lf/w07M3NULG8KaNNVvp/jKHbNH1mZXk1rF064irpkiNAcuxhV nnlQg5IZj9FfsJFlwJVIChNN2XQxkPMkSQscXid+ZtHx5FETpsp+MvGxTT1FGPfCxUzG SgrCKwMih6Cc2M9RyLUJkWeqgOaBpfZV3lNh/c2wffM5/CGbfgJvrkGYFiUVShqtJjz4 RFxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737668258; x=1738273058; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=HVDNir/Xq5KQTCJahHuiY/Zh+CG8++/JiIx0WI/3QQ8=; b=i9lvkML1jVANtodW9QaS4wcaHS3G5K966Nwgd4TK4MUHnDVqWYdS0AyS75xZf7/HOA Pb5a3B8mZ1aFDsXq9qRarIYQhkKiQ3F8+70RC63wNVVVpFPUxrvzKN/5c1zhYrmCeTWW DXm75ihIogL1lb0Dyuq3klWRgCU6YoDZSXeFNEggnCrCRH/UlnA1iObY8VjNTGIsAiYz C1saulyblBQcIB2jkKVf1GsyptWpbFLw3Ow1FprJpLFPx+4cREWDC4Wsex0/OeeNDv7A ImM9xQ3xHgIU2EBco4eDt8+QGlMKUQTDZjILPJDsLMAbZtvDaQG/hbbIbA5FDhW7QKJv wyDw== X-Forwarded-Encrypted: i=1; AJvYcCUngJNa9AbCNCWp169UxLr4aNy7bc6qqctxChx63cS6OACjmugs19aYBQa8PG1o8eIW4d/NPA==@debbugs.gnu.org X-Gm-Message-State: AOJu0Yyh96wYVZExxq9lmA9z2AZ3PJJSqMyoqBsyAT86XDa1tOK0FQLM IvmBmE/MvEXC1elNAwmpouwTRxqn1ZDl7A/NTsTds7ydVb/1b+yAnqVssYqU0dwtgDds+mCO2ne d/nMQDt9aPaIAKwWZRjcJLX7ssYY= X-Gm-Gg: ASbGnctHce3WPQZvnVWQpozuzVggDj+9RxQqT4baYZaCGXXKOTXvY8wNbyQro5nk381 XEPWwhm8BIUEttkxMO89oQh3Oy6WvATaLiu6Vr6uftJu+1RrrxRXXCNXFEN55MN/M X-Google-Smtp-Source: AGHT+IENC69f/i4CU1ddmT7FPtvfDI/9DR1I1XukM7Cz8NR05BMIDDIpKyybhPjuomJLd7skl/bh+K329dWS99o/XW8= X-Received: by 2002:a05:6402:d49:b0:5db:f423:19c9 with SMTP id 4fb4d7f45d1cf-5dbf4231b38mr5887723a12.16.1737668257506; Thu, 23 Jan 2025 13:37:37 -0800 (PST) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Thu, 23 Jan 2025 15:37:36 -0600 From: Stefan Kangas In-Reply-To: References: <864j1q2ejp.fsf@gnu.org> MIME-Version: 1.0 Date: Thu, 23 Jan 2025 15:37:36 -0600 X-Gm-Features: AWEUYZk18hOjG6utP8MlpAE7wl4K7x0eR3H9aVdVMZk1CkDBsvelwlc6UbiLpWY Message-ID: Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Ship Mints writes: > I'll use it eventually. Though I might be off homebrew and onto something > actually repeatable (I'll gripe about Guix macOS being weak, err, > non-existent, and too bad because guile is much nicer than nix). I'm also > still on Monterey 12.7.6 on all my Macs (most stable ever) so testing on > that might be helpful. > > Note: the homebrew recipe is not built for Monterey as the homebrew people > consider that unsupported. That might trip up some testing volunteers. Thanks, I added a note about macOS 12 or earlier to README-IGC in commit 7146d10b462.