Skip to content

tox.ini: Add local-copy #29416

@mkoeppe

Description

@mkoeppe

This would create a copy of the worktree in the toxenvdir. Using git worktree add --detached + copying over git ls-files --exclude-standard -m -o or similar.

This would be an alternative to #21469 (Enable VPATH builds (several independent build trees connected to one source tree))

Component: porting

Issue created by migration from https://trac.sagemath.org/ticket/29416

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions