From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Arash Esbati Newsgroups: gmane.emacs.devel Subject: Re: Helping with MPS Date: Wed, 21 Aug 2024 08:28:04 +0200 Message-ID: References: <87v7zvfacj.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11584"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Jonathon McKitrick via "Emacs development discussions." , Helmut Eller , Jonathon McKitrick To: Gerd =?utf-8?Q?M=C3=B6llmann?= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Wed Aug 21 08:29:06 2024 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1sgeqA-0002pC-4q for ged-emacs-devel@m.gmane-mx.org; Wed, 21 Aug 2024 08:29:06 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sgepI-0000P2-Pg; Wed, 21 Aug 2024 02:28:12 -0400 Original-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 1sgepG-0000Oh-D8 for emacs-devel@gnu.org; Wed, 21 Aug 2024 02:28:10 -0400 Original-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 1sgepF-0004Gd-AJ; Wed, 21 Aug 2024 02:28:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=Vp1fqXLFaA/m53cK3bIMgF+Cqxoxju+SkCEweP+jTkM=; b=g4YAGTXQwM5a1U5QrrDG RXEwTKRSLQ2tjxGykcQobAbkCMnrXszopyaxddZTDc2XXEwUxsW6E54f/2xMilBLpjANT4+PBdl2l 1LJidEhlNZQcZH6SgLDFKtXEoVCrfz/H24tp8KHsrMd94/Cx7umGmmwGqQxeGcGm1ruS6xgN9b/HY aOA3y3ooIT/WjvDXN72wA9sBh4B0cWlBz37fSiE8YVpJ+8JqzSXNitdaLFCQQ7c3v9rbNB+cWS3nY jwOYbBqou3yb9F9abjZHrXCcGcoLVKCeL0VKOmRpNNrZPHPDuKj5u3p5T2ElgFmnknggZsxr5G+Dl SuIjqIvsMGLuuQ==; In-Reply-To: ("Gerd =?utf-8?Q?M=C3=B6llman?= =?utf-8?Q?n=22's?= message of "Wed, 21 Aug 2024 05:46:06 +0200") X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:322987 Archived-At: Guten Morgen Gerd, Gerd M=C3=B6llmann writes: > First step is to build and install the MPS library. (The "mps" that > Homebrew has in something completely different.) Maybe 'libmps' from Homebrew fits the bill better: https://formulae.brew.sh/formula/libmps It was added recently, I think. Best, Arash