emacs-devel
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]