Skip to content

Comments

index.sh: Remove linux64-static override#40

Merged
benweissmann merged 2 commits intobenweissmann:masterfrom
JoeKar:fix/linux-dynamic2static
Jan 1, 2026
Merged

index.sh: Remove linux64-static override#40
benweissmann merged 2 commits intobenweissmann:masterfrom
JoeKar:fix/linux-dynamic2static

Conversation

@JoeKar
Copy link
Contributor

@JoeKar JoeKar commented Sep 12, 2024

Description

The linux64-static override can be dropped since micro's binary files will be build fully static in the future (see: micro-editor/micro#3466).
Due to this there is no need for a musl libc check and the override of linux64 with linux64-static.

Unfortunately this will take effect earliest with the upcoming release.

How Has This Been Tested?

$ ldd micro
  das Programm ist nicht dynamisch gelinkt

Checklist:

  • I have commented my code, particularly in hard-to-understand areas
  • If I added new user-facing functionality, I have made corresponding changes to the README documenting the changes
  • If this is a code change, I have updated the test configuration and/or test scripts to cover the changes I've made.

It can be dropped since micro's binary files will be build fully static.
Due to this there is no need for a musl libc check and the override of linux64
with linux64-static.
@JoeKar JoeKar force-pushed the fix/linux-dynamic2static branch from 18c1440 to c207880 Compare December 31, 2025 12:28
@JoeKar
Copy link
Contributor Author

JoeKar commented Dec 31, 2025

micro v2.0.15 is out now, which is the last one carrying a dedicated micro-2.0.15-linux64-static.tar.gz asset.

@JoeKar
Copy link
Contributor Author

JoeKar commented Dec 31, 2025

@benweissmann
Maybe you can give the test runner a poke, because https://github.com/benweissmann/getmic.ro/actions/runs/20619098244/job/59217436651?pr=40 seems to stuck and will most probably not succeed.

@benweissmann benweissmann merged commit 228fe3f into benweissmann:master Jan 1, 2026
139 of 141 checks passed
@JoeKar JoeKar deleted the fix/linux-dynamic2static branch January 1, 2026 15:48
JoeKar added a commit to JoeKar/micro that referenced this pull request Jan 1, 2026
Since benweissmann/getmic.ro#40 was merged there is no
need to create this superfluous archive any longer.
JoeKar added a commit to micro-editor/micro that referenced this pull request Jan 10, 2026
…#3957)

Since benweissmann/getmic.ro#40 was merged there is no
need to create this superfluous archive any longer.
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