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

Instructions seems a bit outdated #8

Open
kant2002 opened this issue Oct 28, 2024 · 4 comments · May be fixed by #9
Open

Instructions seems a bit outdated #8

kant2002 opened this issue Oct 28, 2024 · 4 comments · May be fixed by #9
Assignees

Comments

@kant2002
Copy link

I try to compile Hermit on Windows, and expereince issue building custom std.
In the instruction there mentioned install.sh. I see only dist.sh and install-template.sh. Also there some unknown HERMIT_TOOLCHAIN variable, so I cannot recreate steps myself. Can you advice on the direction to move forward.

@mkroening mkroening self-assigned this Oct 28, 2024
@mkroening
Copy link
Member

You need to follow step one and download a release artifact. Those will contain install.sh generated from install-template.sh.

Does that work for you? Should we clarify in the README? If so, how? :)

@kant2002
Copy link
Author

Thank, it give me some ideas. Since I'm on Windows Windows, not on WSL, I have to build std myself seems to be. Please correct me if I still can/should use existing files from this repo. If not, below I will try to explain where I get stuck.

Currently I'm fighting ./x.ps1 dist ... and environment setup.
https://github.com/kant2002/rust-std-hermit/actions/runs/11553105844 for example.

@mkroening
Copy link
Member

Native Windows works, but we only supply bash installation scripts right now. You could use git's bash, for example.

@mkroening
Copy link
Member

See https://github.com/hermit-os/hermit-rs-template/actions/runs/10725649523/job/29743981018 for example.

kant2002 added a commit to kant2002/rust-std-hermit that referenced this issue Oct 28, 2024
@kant2002 kant2002 linked a pull request Oct 28, 2024 that will close this issue
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 a pull request may close this issue.

2 participants