AdaCore / AdaCore/e3-core

anod API: add a way to check whether a spec is in the closure

Open
#12 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

enhancement
Dominant language
Python
Stars
32
Forks
36
PR merge metrics
No merged PRs in 30d

Description

When building A that depends on B, with B that depends on C, we need a way to check from A that C is a dependency.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating the anod API and the code that resolves dependencies between specs. Trace how a spec's direct dependencies are represented, then define done as allowing A to check whether transitive dependency C is present through B.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
build-system
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.