[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: |
Gerd Möllmann |
Subject: |
Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch] |
Date: |
Fri, 17 Jan 2025 16:33:03 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Michael Albinus <michael.albinus@gmx.de> writes:
> 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
>
> checking for mps.h... configure: error: The MPS library libmps is missing
> no
>
>
> However, the container knows the header file and the library:
>
> 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
>
> Do we need a change in configure.ac?
>
> Best regards, Michael.
I'm afraid I can't help with this, I'm using macOS. Do Linux users do
something special to configure (setting CFLAGS or something?).
- 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], 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 <=
- 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
- Re: scratch/igc renamed ad feature/igc [was: scratch/igc as a feature branch], Pip Cet, 2025/01/17