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.

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

Add support for parallel universes #905

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Add support for parallel universes #905

wants to merge 3 commits into from

Commits on Sep 3, 2020

  1. Add support for parallel universes

    This adds the concept of a "universe" for autobuilds. A universe
    is essentially a depot that has its own copy of the General registry.
    When building packages using `--deploy=universe` the built jll gets
    registered into this copy of the registry and subsequent builds can
    pick it up from there as if it had been registered with the real
    general registry. This allows successive builds of dependent packages
    without first having to go register the dependency. The universe
    to use is specified using `--universe=<name>`. If a universe by
    that name does not exist, it is created. Otherwise the previously
    created universe is re-used.
    Keno committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    af1973a View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2020

  1. Apply suggestions from code review

    Co-authored-by: Fredrik Ekre <ekrefredrik@gmail.com>
    Keno and fredrikekre authored Sep 4, 2020
    Configuration menu
    Copy the full SHA
    352d2e8 View commit details
    Browse the repository at this point in the history
  2. Update src/AutoBuild.jl

    Co-authored-by: Fredrik Ekre <ekrefredrik@gmail.com>
    Keno and fredrikekre authored Sep 4, 2020
    Configuration menu
    Copy the full SHA
    b553367 View commit details
    Browse the repository at this point in the history