mirror of
https://github.com/ultimatepp/ultimatepp.git
synced 2026-05-15 14:16:07 -06:00
[PR #317] [MERGED] Umk: Added parameter for providing UppHub location. #308
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/ultimatepp#308
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/ultimatepp/ultimatepp/pull/317
Author: @klugier
Created: 11/1/2025
Status: ✅ Merged
Merged: 11/2/2025
Merged by: @mirek-fidler
Base:
master← Head:klugier/upp-hub-dir-as-umk-option📝 Commits (4)
19f2a00UMK: Added parameter for providing UppHub location.c4cfd31.remove fat20f8063.reviewa52f726.docs📊 Changes
5 files changed (+74 additions, -37 deletions)
View changed files
📝
uppsrc/ide/app.tpp/umk_en-us.tpp(+16 -7)📝
uppsrc/ide/app.tpp/umk_en-us.tppi(+10 -10)📝
uppsrc/umk/UppHub.cpp(+27 -0)📝
uppsrc/umk/umake.cpp(+20 -20)📝
uppsrc/umk/umake.h(+1 -0)📄 Description
This Pull Request introduces a new command-line argument, --upp_hub_dir ${dir}, to specify the directory containing UppHub packages. This enhancement ensures build independence and process repeatability by allowing users to explicitly control the package source. Here is the sample usage:
Beyond the core changes, minor refactoring was completed. UppHub operations for UMK are now located in a dedicated namespace, and an ExitCodes enum was introduced to improve readability by replacing cryptic exit status numbers.
As part of the VSCode integration effort, this change is necessary to ensure UppHub packages reside in a consistent location within the workspace.
Skipping documentation updates for now. They will be included in a separate PR after this change is accepted.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.