Skip to content

Flathub PR for 5.7.1#851

Merged
hbitteur merged 7 commits intoAudiveris:developmentfrom
mwilck:development
Oct 23, 2025
Merged

Flathub PR for 5.7.1#851
hbitteur merged 7 commits intoAudiveris:developmentfrom
mwilck:development

Conversation

@mwilck
Copy link
Copy Markdown
Contributor

@mwilck mwilck commented Oct 21, 2025

Hello Hervé,

here's what I did to create this PR:

  • Changed flatpak runtime to 25.08 (openjdk25 is only available for this runtime)
  • Installed flatpak dependencies
    • org.freedesktop.Sdk.Extension.openjdk25
    • org.freedesktop.Platform 25.08
    • perhaps more, flatpak will tell you what's missing
  • ./gradlew --info :flatpak:buildFlatpak - this causes changes in flatpak/flathub
  • under flatpak/flathub:
  • on https://github.com/flathub/org.audiveris.audiveris:
  • in audiveris top directory:
    • git add flatpak/flathub
    • git commit -m "flatpak/flathub: Java 25 and 5.7 changes"
    • push to this branch here

I'm still waiting for the new build to show up on beta.flathub.org.

Most of these steps could be easily automated in a workflow. The exception is the metainfo generation, which could also be automated I suppose, but that's more difficult and would require some sort of smart markdown processing.

There are flatpak github actionis which can be used to build flatpaks, but AFAICS there is no official workflow for publishing on flathub. I think that's deliberate; they want to require human intervention in the publishing process. That said, some applications like OBS Studio do have automatic workflows for publishing. I'm not sure if that's worth the effort to create, stabilize, and maintain such a workflow.

Solve chicken-and-egg problem:

`git rev-parse HEAD` will insert the current HEAD sha into the flatpak
manifest, which causes a change in the submodule, and will thus show
flatpak/flathub submodule as modified. This can be fixed by

  git -C flatpak/flathub commit -a -m 'superproject updated'
  git commit -m 'flatpak/flathub updated' flatpak/flathub

But now the commit ID will have changed again.

Solve this by excluding flatpak/flathub when generating the
commit ID.
@mwilck
Copy link
Copy Markdown
Contributor Author

mwilck commented Oct 22, 2025

Added some enhancements for the flatpak workflow, and a workaround for the chicken-and-egg problem with the commit ID generation explained in 5221551.

@hbitteur, this should be ready to merge now, please review.

@hbitteur hbitteur merged commit 3055c3f into Audiveris:development Oct 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants