idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-29 14:44:03 +03:00
Code Issues Projects Releases Wiki Activity

Update windows docs with gotchas

Browse Source
This commit is contained in:
Niklas Larsson 2021-07-23 14:33:49 +02:00
parent d0c0698c45
commit 4b0edbaa4f
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
docs/source/tutorial/windows.rst
View File

@ -16,8 +16,9 @@ all the utilities used during the build. `MSYS2 <https://www.msys2.org>`_ provid
3. In the directory where you installed MSYS2, find the file
``mingw64.ini`` and add the line ``MSYS2_PATH_TYPE=inherit``.
This adds the normal windows PATH to the shell in MSYS2.
4. Start MSYS2 (from the start menu search for mingw64 or
click on mingw64.exe)
4. Start MSYS2 (click on mingw64.exe, as the icon in the start
menu won't pick up the MSYS2_PATH_TYPE from the ini, it can be
added to the system settings)
5. Update the installation with the latest releases with
``pacman -Syu``
5. Install the programs that the build needs with::
@ -30,10 +31,11 @@ Chez Scheme
Chez Scheme has a ready-made installer at `GitHub <https://github.com/cisco/ChezScheme/releases>`_
1. Download the installer and run it
1. Download the installer and run it, do not install it in a path with spaces, currently Idris2
has trouble with them.
2. Add the threaded 64-bit scheme to the PATH. It is the
``\bin\ta6nt`` subdirectory to where Chez Scheme was installed. So if you used the default directory it
will be in ``C:\Program Files\Chez Scheme 9.5.4\bin\ta6nt``
``\bin\ta6nt`` subdirectory to where Chez Scheme was installed. So if you used "C:\Chez" it
will be in ``C:\Chez\bin\ta6nt``
Building
--------