Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Resolve packages from the Python environment before installing dependencies #263

Closed
Tracked by #256
Nour-Mws opened this issue Mar 22, 2023 · 0 comments · Fixed by #268
Closed
Tracked by #256

Resolve packages from the Python environment before installing dependencies #263

Nour-Mws opened this issue Mar 22, 2023 · 0 comments · Fixed by #268
Assignees
@jherland
Labels
P2 major: an upcoming release
Milestone
Mapping strategy

Comments

@Nour-Mws
Copy link
Collaborator

This was discussed in one thread on #252, and would be a first step towards having a cascade of mappings that the packages resolver can go through (as outlined in the mapping resolution strategy on #256).

The current behavior suppresses pyenv if install-deps is required.
@Nour-Mws Nour-Mws self-assigned this Mar 22, 2023
@Nour-Mws Nour-Mws added this to the Extend mapping strategy milestone Mar 22, 2023
@Nour-Mws Nour-Mws removed their assignment Mar 23, 2023
@Nour-Mws Nour-Mws added the P3 minor: not priorized label Mar 23, 2023
@Nour-Mws Nour-Mws mentioned this issue Mar 23, 2023
Closed
10 tasks
@Nour-Mws Nour-Mws added P2 major: an upcoming release and removed P3 minor: not priorized labels Mar 23, 2023
@jherland jherland mentioned this issue Mar 24, 2023
Merged
@jherland jherland linked a pull request Mar 24, 2023 that will close this issue
package: Introduce a list of package resolvers #268
Merged
@jherland jherland self-assigned this Mar 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jherland jherland

Labels
P2 major: an upcoming release
Projects
None yet
Milestone
Mapping strategy
Development

Successfully merging a pull request may close this issue.

package: Introduce a list of package resolvers tweag/FawltyDeps
2 participants
@jherland @Nour-Mws