Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 949820 - dev-ada/libadalang-25.0.0: Fails to build. misses dep on dev-ada/AdaSAT and dev-ada/langkit-contrib--25.0.0 misses dep on dev-ada/e3-core
Summary: dev-ada/libadalang-25.0.0: Fails to build. misses dep on dev-ada/AdaSAT and d...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Linux ADA team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2025-02-15 21:25 UTC by Luke A. Guest
Modified: 2025-02-18 19:58 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Luke A. Guest 2025-02-15 21:25:44 UTC
Installing libadalang does not install adasat and fails trying to with that package.

2025-02-15 21:15:59,115 wheel INFO adding 'Langkit-0.1.0.dist-info/top_level.txt'
2025-02-15 21:15:59,116 wheel INFO adding 'Langkit-0.1.0.dist-info/RECORD'
2025-02-15 21:15:59,116 root INFO removing /var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0-python3_12/build/bdist.linux-x86_64/wheel
2025-02-15 21:15:59,121 gpep517 INFO The backend produced /var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0-python3_12/wheel/Langkit-0.1.0-py3-none-any.whl
 *   Installing Langkit-0.1.0-py3-none-any.whl to /var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0-python3_12/install
python3.12 -m gpep517 install-wheel --destdir=/var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0-python3_12/install --interpreter=/usr/bin/python3.12 --prefix=/usr --optimize=all /var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0-python3_12/wheel/Langkit-0.1.0-py3-none-any.whl
2025-02-15 21:15:59,179 gpep517 INFO Installing /var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0-python3_12/wheel/Langkit-0.1.0-py3-none-any.whl into /var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0-python3_12/install
2025-02-15 21:15:59,664 gpep517 INFO Installation complete
 * Checking whether python3_13 is suitable ...
 *   dev-lang/python:3.13 ...                                                                                         [ ok ]
 *   python_check_deps ...                                                                                            [ ok ]
 * Using python3.13 in global scope
 * python3_13: running distutils-r1_run_phase python_compile_all

==============Messages for file: /var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0/langkit/support/langkit_support.gpr
     1. with "adasat";
             |
        >>> imported project file "adasat" not found
gprbuild: "langkit/support/langkit_support.gpr" processing failed
 * ERROR: dev-ada/langkit-25.0.0-r2::gentoo failed (compile phase):
 *   (no error message)
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_compile
 *   environment, line 4268:  Called distutils-r1_src_compile
 *   environment, line 2201:  Called _distutils-r1_run_common_phase 'python_compile_all'
 *   environment, line  822:  Called multibuild_foreach_variant 'distutils-r1_run_phase' 'python_compile_all'
 *   environment, line 3380:  Called _multibuild_run 'distutils-r1_run_phase' 'python_compile_all'
 *   environment, line 3378:  Called distutils-r1_run_phase 'python_compile_all'
 *   environment, line 2180:  Called python_compile_all
 *   environment, line 3644:  Called build 'relocatable'
 *   environment, line 3642:  Called die
 * The specific snippet of code:
 *           gprbuild -v -p -j$(makeopts_jobs) -P langkit/support/langkit_support.gpr -XLIBRARY_TYPE=$1 -cargs:Ada ${ADAFLAGS} -cargs:C ${CFLAGS} || die
 * 
 * If you need support, post the output of `emerge --info '=dev-ada/langkit-25.0.0-r2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-ada/langkit-25.0.0-r2::gentoo'`.
 * The complete build log is located at '/var/tmp/portage/dev-ada/langkit-25.0.0-r2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-ada/langkit-25.0.0-r2/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0'
 * S: '/var/tmp/portage/dev-ada/langkit-25.0.0-r2/work/langkit-25.0.0'


Reproducible: Always

Steps to Reproduce:
1. don't have adasat installed.
2. emerge -av  =dev-ada/libadalang-25.0.0
3.
Actual Results:  
See above

Expected Results:  
Expect it to install adasat.

Install adasat first and it all builds until dev-ada/langkit-contrib-25.0.0, which also doesn't have e3 as a dependency.
Comment 1 Paul Zander 2025-02-16 15:20:14 UTC
Please put some minimal effort in opening this bug.

The title is near unreadable and should start at least start with the package in question.
Comment 2 Luke A. Guest 2025-02-16 17:12:05 UTC
I literally told you how to fix it, how's that for effort??
Comment 3 Larry the Git Cow gentoo-dev 2025-02-18 19:06:51 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fb5eeec8bf1a4e8f9fad034e052b6433154c19b7

commit fb5eeec8bf1a4e8f9fad034e052b6433154c19b7
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2025-02-18 19:06:03 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2025-02-18 19:06:34 +0000

    dev-ada/langkit:  fix AdaSAT deps
    
    Bug: https://bugs.gentoo.org/949820
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ada/langkit/Manifest                                       |  1 -
 .../{langkit-25.0.0-r2.ebuild => langkit-25.0.0-r3.ebuild}     | 10 ++--------
 2 files changed, 2 insertions(+), 9 deletions(-)
Comment 4 Larry the Git Cow gentoo-dev 2025-02-18 19:37:35 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=45b43fa10756c3f2583494d6e771f387c358a2b2

commit 45b43fa10756c3f2583494d6e771f387c358a2b2
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2025-02-18 19:36:38 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2025-02-18 19:37:20 +0000

    dev-ada/langkit-contrib: Fix build due to e3 & AdaSAT
    
    Closes: https://bugs.gentoo.org/949820
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ada/langkit-contrib/Manifest                      |  1 +
 ...25.0.0.ebuild => langkit-contrib-25.0.0-r1.ebuild} | 19 +++++++++++++------
 2 files changed, 14 insertions(+), 6 deletions(-)
Comment 5 Paul Zander 2025-02-18 19:58:50 UTC
(In reply to Luke A. Guest from comment #2)
> I literally told you how to fix it, how's that for effort??

The title is near unreadable and should start at least start with the package in question.