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

Ports: Update/Add multiple ports #23289

Merged
merged 9 commits into from Mar 29, 2024
Merged

Conversation

fdellwing
Copy link
Contributor

@fdellwing fdellwing commented Feb 21, 2024

This PR improves our poppler port by including a lot more of its optional dependencies. A lot of those dependencies also are updated.

Changes to poppler are coming in another PR, this is just everything until that.

Ports/AvailablePorts.md Show resolved Hide resolved
Ports/gpgme/package.sh Outdated Show resolved Hide resolved
@fdellwing fdellwing force-pushed the portssss branch 3 times, most recently from 55f168f to 85df8f2 Compare February 23, 2024 20:38
@fdellwing fdellwing force-pushed the portssss branch 2 times, most recently from f951c6e to 64a20b9 Compare March 12, 2024 11:57
@fdellwing fdellwing marked this pull request as ready for review March 12, 2024 11:58
@github-actions github-actions bot added the 👀 pr-needs-review PR needs review from a maintainer or community member label Mar 12, 2024
Ports/openjpeg/package.sh Outdated Show resolved Hide resolved
Ports/openjpeg/package.sh Outdated Show resolved Hide resolved
Ports/poppler/package.sh Outdated Show resolved Hide resolved
Ports/poppler/package.sh Outdated Show resolved Hide resolved
@fdellwing fdellwing force-pushed the portssss branch 2 times, most recently from d68f6f2 to a950e56 Compare March 13, 2024 06:01
@fdellwing fdellwing force-pushed the portssss branch 2 times, most recently from c340ee6 to 64d3e15 Compare March 29, 2024 14:05
@timschumi timschumi merged commit 6cd09cc into SerenityOS:master Mar 29, 2024
10 of 12 checks passed
@github-actions github-actions bot removed the 👀 pr-needs-review PR needs review from a maintainer or community member label Mar 29, 2024
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.

None yet

3 participants