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

Add support for contrib ports #21191

Closed
wants to merge 14 commits into from
Closed

Add support for contrib ports #21191

wants to merge 14 commits into from

Commits on Jan 26, 2024

  1. first pass at contrib port 

    - support for multiple contrib ports
    @ypujante
    ypujante committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    351bac9 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2024

  1. Generate documentation for contrib ports

    @ypujante
    ypujante committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    7ff2807 View commit details
    Browse the repository at this point in the history

  2. added -s

    @ypujante
    ypujante committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    1986351 View commit details
    Browse the repository at this point in the history

  3. generate documentation for contrib ports

    @ypujante
    ypujante committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    259ce42 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into contrib-ports

    @ypujante
    ypujante committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    440a2e4 View commit details
    Browse the repository at this point in the history

  5. fixed python syntax

    @ypujante
    ypujante committed Jan 27, 2024
    Configuration menu
    Copy the full SHA
    6c4bf89 View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2024

  1. ports are loaded on demand only 

    - got rid of "needed" concept since a port can be used via -sUSE_PORT=xxx
- variants are now unique since the name is generated
    @ypujante
    ypujante committed Jan 28, 2024
    Configuration menu
    Copy the full SHA
    5095bfc View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. added the concept of port options

    @ypujante
    ypujante committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    0fb7f9c View commit details
    Browse the repository at this point in the history

  2. add options in the documentation

    @ypujante
    ypujante committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    05da2b1 View commit details
    Browse the repository at this point in the history

  3. use better name

    @ypujante
    ypujante committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    fddc7b0 View commit details
    Browse the repository at this point in the history

  4. better syntax

    @ypujante
    ypujante committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    7d16050 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/main' into contrib-ports 

    # Conflicts:
#	tools/ports/__init__.py
    @ypujante
    ypujante committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    e5986cd View commit details
    Browse the repository at this point in the history

  6. updated documentation

    @ypujante
    ypujante committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    357e4df View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/main' into contrib-ports

    @ypujante
    ypujante committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    83e5507 View commit details
    Browse the repository at this point in the history