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

Standard make path #1353

Merged
merged 4 commits into from
Jan 6, 2025
Merged

Standard make path #1353

merged 4 commits into from
Jan 6, 2025

Conversation

mrdomino
Copy link
Collaborator

@mrdomino mrdomino commented Jan 6, 2025

Modifies download-cosmocc.sh to maintain a .cosmocc/current symlink that
always points to the most recently downloaded version of cosmocc. We can
use this to point at a canonical make for a bootstrapped repository. For
first-time builds, we suggest: https://cosmo.zip/pub/cosmos/bin/make and
have updated the docs in a few places to mention this.

Fixes the other part of #1346.

Gives a shorthand path to the currently installed version of cosmocc, so
we can refer to its make from scripts and such.
@mrdomino mrdomino requested a review from jart January 6, 2025 04:35
@mrdomino mrdomino changed the title Standard make path Standard make path (fixes #1346) Jan 6, 2025
@mrdomino mrdomino changed the title Standard make path (fixes #1346) Standard make path Jan 6, 2025
Copy link
Owner

@jart jart left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good.

@mrdomino mrdomino merged commit 21968ac into jart:master Jan 6, 2025
6 checks passed
@mrdomino mrdomino deleted the standard-make-path branch January 6, 2025 04:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants