[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature br
From: |
Michael Albinus |
Subject: |
Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch] |
Date: |
Fri, 17 Jan 2025 16:52:37 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Helmut Eller <eller.helmut@gmail.com> writes:
Hi Helmut,
>>> In Dockerfile.emba, I've added a now target emacs-igc. It installs
>>> libmps-dev and libmps3, and it configures emacs --with-mps.
>
> The libmps-dev in Debian is a "Multiprecision polynomial solver". The
> MPS library that we need is not packaged for Debian AFAIK.
Oops. Then I need instructions how to build libmps on Debian. README-IGC
is very short about Debian.
> Helmut
Best regards, Michael.
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], (continued)
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Gerd Möllmann, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Helmut Eller, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch],
Michael Albinus <=
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Helmut Eller, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Pip Cet, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Stefan Kangas, 2025/01/18
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Stefan Kangas, 2025/01/20
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Helmut Eller, 2025/01/21
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Stefan Kangas, 2025/01/21
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Michael Albinus, 2025/01/18
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Pip Cet, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], chad, 2025/01/20
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Pip Cet, 2025/01/17