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

Fix resolution of executable names on Windows. #1257

Closed
wants to merge 10 commits into from
Closed

Fix resolution of executable names on Windows. #1257

wants to merge 10 commits into from

Commits on Jun 28, 2022

  1. Fix resolution of windows program names.

    @lovettchris
    lovettchris committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    2899a3e View commit details
    Browse the repository at this point in the history

  2. fix: missing include and lib

    @lovettchris
    lovettchris committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    77de9a3 View commit details
    Browse the repository at this point in the history

  3. fix: rename ascii string

    @lovettchris
    lovettchris committed Jun 28, 2022
    Configuration menu
    Copy the full SHA
    c186a2e View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2022

  1. Merge branch 'master' into clovett/findexecutable

    @lovettchris
    lovettchris committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    56e7079 View commit details
    Browse the repository at this point in the history

  2. fix: dont' resolve full path if full path already points to existing … 

    …file.
    @lovettchris
    lovettchris committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    9fab0aa View commit details
    Browse the repository at this point in the history

  3. fix: use STL to check file exists.

    @lovettchris
    lovettchris committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    a1b0fd4 View commit details
    Browse the repository at this point in the history

  4. fix: switch to SearchPath instead of FindExecutable.

    @lovettchris
    lovettchris committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    e834c07 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2022

  1. Merge branch 'master' into clovett/findexecutable

    @lovettchris
    lovettchris committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    0099964 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'clovett/findexecutable' of github.com:lovettchris/lean4… 

    … into clovett/findexecutable
    @lovettchris
    lovettchris committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    37ccb6e View commit details
    Browse the repository at this point in the history

  3. fix: include \t in command line whitespace check.

    @lovettchris
    lovettchris committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    8c3f077 View commit details
    Browse the repository at this point in the history