[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: |
Helmut Eller |
Subject: |
Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch] |
Date: |
Fri, 17 Jan 2025 17:35:23 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On Fri, Jan 17 2025, Michael Albinus wrote:
> Oops. Then I need instructions how to build libmps on Debian. README-IGC
> is very short about Debian.
The attached script seems to work with gcc 14.
Helmut
build-mps.sh
Description: Text Data
- 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], 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, 2025/01/17
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch],
Helmut Eller <=
- 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
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Eli Zaretskii, 2025/01/17