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.

Sign up for GitHub

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

Jump to bottom

Update INSTALL.md - Using Junctions on Windows for Seamless Builds #3198

Open
wants to merge 12 commits into
base: main
Choose a base branch
from
Open

Update INSTALL.md - Using Junctions on Windows for Seamless Builds #3198

wants to merge 12 commits into from

Commits on Jan 21, 2024

  1. Update INSTALL.md 

    Added description of how to build Idris2 on Windows using junctions.
    @hellerim
    hellerim authored Jan 21, 2024
    Configuration menu
    Copy the full SHA
    043bcd6 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Update INSTALL.md

    @hellerim
    hellerim authored Jan 22, 2024
    Configuration menu
    Copy the full SHA
    05a63b6 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. Update INSTALL.md 

    I added a script for automatic link recreation when Chez Scheme is updated.
    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    27abf80 View commit details
    Browse the repository at this point in the history

  2. Update INSTALL.md

    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    47e672d View commit details
    Browse the repository at this point in the history

  3. Update INSTALL.md

    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    1478d9f View commit details
    Browse the repository at this point in the history

  4. Update INSTALL.md

    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    da39f03 View commit details
    Browse the repository at this point in the history

  5. Update INSTALL.md

    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    461dd48 View commit details
    Browse the repository at this point in the history

  6. Update INSTALL.md

    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    05b80e4 View commit details
    Browse the repository at this point in the history

  7. Update INSTALL.md 

    added missing delimiter spec to mkChezLink.cmd script file
    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    a8e8643 View commit details
    Browse the repository at this point in the history

  8. Update INSTALL.md

    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    905921e View commit details
    Browse the repository at this point in the history

  9. Update INSTALL.md

    @hellerim
    hellerim authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    6bbf0a6 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Update INSTALL.md 

    Made up a complete workflow for Windows since too many things can go wrong and information helpful to remedy the situation is scattered across the web.
    @hellerim
    hellerim authored Jan 24, 2024
    Configuration menu
    Copy the full SHA
    ece6741 View commit details
    Browse the repository at this point in the history