[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:08:13 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Albinus <michael.albinus@gmx.de> writes:
Hi Gerd,
>> An open question is on which systems we don't want to test igc for some
>> reason.
>> I've left a placeholder in test/Makefile.in for that (TEST_IGC should be
>> set to "no" for these).
>
> For the time being, we test on emba. This uses Debian bookworm as basis.
>
> In Dockerfile.emba, I've added a now target emacs-igc. It installs
> libmps-dev and libmps3, and it configures emacs --with-mps.
Configuring Emacs --with-mps shows the error
--8<---------------cut here---------------start------------->8---
checking for mps.h... configure: error: The MPS library libmps is missing
no
--8<---------------cut here---------------end--------------->8---
However, the container knows the header file and the library:
--8<---------------cut here---------------start------------->8---
root@e975f097ec22:/checkout# ls -al /usr/include/mps/*
-rw-r--r--. 1 root root 3236 Jul 20 2022 /usr/include/mps/approximation.h
-rw-r--r--. 1 root root 3358 Jul 20 2022 /usr/include/mps/chebyshev.h
-rw-r--r--. 1 root root 15247 Jul 20 2022 /usr/include/mps/context.h
-rw-r--r--. 1 root root 11095 Jul 20 2022 /usr/include/mps/debug.h
-rw-r--r--. 1 root root 4683 Jul 20 2022 /usr/include/mps/gmptools.h
-rw-r--r--. 1 root root 9455 Jul 20 2022 /usr/include/mps/interface.h
-rw-r--r--. 1 root root 2753 Jul 20 2022 /usr/include/mps/link.h
-rw-r--r--. 1 root root 410 Jul 20 2022 /usr/include/mps/matrix.h
-rw-r--r--. 1 root root 7968 Jul 20 2022
/usr/include/mps/monomial-matrix-poly.h
-rw-r--r--. 1 root root 6259 Jul 20 2022 /usr/include/mps/monomial-poly.h
-rw-r--r--. 1 root root 6825 Jul 20 2022 /usr/include/mps/mpc.h
-rw-r--r--. 1 root root 3520 Jul 20 2022 /usr/include/mps/mps.h
-rw-r--r--. 1 root root 1203 Jul 20 2022 /usr/include/mps/mt-types.h
-rw-r--r--. 1 root root 18934 Jul 20 2022 /usr/include/mps/mt.h
-rw-r--r--. 1 root root 1537 Jul 20 2022 /usr/include/mps/nroots-polynomial.h
-rw-r--r--. 1 root root 826 Jul 20 2022 /usr/include/mps/parser.h
-rw-r--r--. 1 root root 14208 Jul 20 2022 /usr/include/mps/polynomial.h
-rw-r--r--. 1 root root 1815 Jul 20 2022
/usr/include/mps/regeneration-driver.h
-rw-r--r--. 1 root root 9729 Jul 20 2022 /usr/include/mps/secular-equation.h
-rw-r--r--. 1 root root 12456 Jul 20 2022 /usr/include/mps/types.h
root@e975f097ec22:/checkout# ls -al /usr/lib/x86_64-linux-gnu/libmps*
-rw-r--r--. 1 root root 952146 Jul 20 2022 /usr/lib/x86_64-linux-gnu/libmps.a
lrwxrwxrwx. 1 root root 15 Jul 20 2022 /usr/lib/x86_64-linux-gnu/libmps.so
-> libmps.so.3.0.1
lrwxrwxrwx. 1 root root 15 Jul 20 2022
/usr/lib/x86_64-linux-gnu/libmps.so.3 -> libmps.so.3.0.1
-rw-r--r--. 1 root root 448568 Jul 20 2022
/usr/lib/x86_64-linux-gnu/libmps.so.3.0.1
--8<---------------cut here---------------end--------------->8---
Do we need a change in configure.ac?
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], Eli Zaretskii, 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], 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 <=
- 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, 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