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

[ doc ] Add Windows WSL usage #2969

Closed
wants to merge 1 commit into from
Closed

Conversation

freddi301
Copy link

Description

Add step by step instruction to use Idris 2 on windows easily

@gallais
Copy link
Member

gallais commented May 14, 2023

Is there a specific reason for recommending the racket backend rather than the chezscheme one?
IIRC Idris 2 compiled with chezscheme is faster and on WSL it worked for me.

@gallais gallais added documentation Improvements or additions to documentation os: windows labels May 14, 2023
@freddi301
Copy link
Author

Pure random choice. Updated to use chezscheme. The commit is amended.

@freddi301
Copy link
Author

I there something else i can do?

cd Idris2 # move to the source code directory
make bootstrap SCHEME=chezscheme # builds the executable
make install # installs the executable
ln -s /root/.idris2/bin/idris2 /usr/local/bin/idris2 # add the binary to executable path
Copy link
Member

Choose a reason for hiding this comment

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

This looks suspicious to me. Why is the install in /root/ rather than a non-root $HOME?

Copy link
Author

Choose a reason for hiding this comment

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

because by default there is only root user i think

@freddi301
Copy link
Author

I accienetally created new pull request for this topic #2985

@freddi301 freddi301 closed this May 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation os: windows
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants