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

opam tree: Allow packages with a specific version, directories or local opam files, as input #5613

Merged
merged 5 commits into from
Aug 24, 2023
Merged

opam tree: Allow packages with a specific version, directories or local opam files, as input #5613

merged 5 commits into from
Aug 24, 2023

Commits on Aug 24, 2023

  1. opam tree: Allow packages with a specific version, directories or loc… 

    …al opam files, as input
    @kit-ty-kate @rjbou
    kit-ty-kate authored and rjbou committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    e25b618 View commit details
    Browse the repository at this point in the history

  2. Add --recurse and --subpath to opam tree 

    Co-authored-by: R. Boujbel <[email protected]>
    @kit-ty-kate @rjbou
    kit-ty-kate and rjbou committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    1b6b376 View commit details
    Browse the repository at this point in the history

  3. reftest: Test opam tree with installed local packages 

    Co-authored-by: R. Boujbel <[email protected]>
    @kit-ty-kate @rjbou
    kit-ty-kate and rjbou committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    50beb71 View commit details
    Browse the repository at this point in the history

  4. Speedup OpamTreeCommand.run 

    Co-authored-by: R. Boujbel <[email protected]>
    @kit-ty-kate @rjbou
    kit-ty-kate and rjbou committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    8e12746 View commit details
    Browse the repository at this point in the history

  5. reftest: Test behaviour of opam tree when asking for an uninstalled v… 

    …ersion of an already installed package

Co-authored-by: R. Boujbel <[email protected]>
    @kit-ty-kate @rjbou
    kit-ty-kate and rjbou committed Aug 24, 2023
    Configuration menu
    Copy the full SHA
    54f0e9b View commit details
    Browse the repository at this point in the history