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

chore(linux): Fix build scripts #9781

Merged
merged 3 commits into from
Oct 18, 2023
Merged

chore(linux): Fix build scripts #9781

merged 3 commits into from
Oct 18, 2023

Commits on Oct 17, 2023

  1. chore(linux): Fix build scripts

    Creating the coverage option to ninja previously didn't work reliably.
    This change re-orders the parameters passed to `meson setup` and seems
    to work better. Additionally this change refactors the scripts and makes
    use of `builder_run_action`.
    ermshiperete committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    08a259c View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2023

  1. chore(linux): Fix coverage report creation for keyman-system-service

    Since keyman-system-service is a dependency of ibus-keyman it gets
    build when ibus-keyman gets build. However, in that case the `--coverage`
    flag doesn't get passed through in which case the `coverage-html`
    target is missing from ninja. This change fixes this problem by checking
    if ninja has the `coverage-html` target. If not we remove the output
    directory which causes the configure action to run again with the
    `--coverage` option.
    ermshiperete committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    2a19a2f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    7980266 View commit details
    Browse the repository at this point in the history