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

Allow running non-deterministic MDX stanzas using dune-gen #366

Merged
merged 6 commits into from
Jan 28, 2022
Merged

Allow running non-deterministic MDX stanzas using dune-gen #366

merged 6 commits into from
Jan 28, 2022

Commits on Jan 27, 2022

  1. Test case to see whether non-deterministic mode is applied correctly

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    6ffa3bb View commit details
    Browse the repository at this point in the history

  2. Run non-deterministic tests depending on MDX_RUN_NON_DETERMINISTIC

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    cb283d1 View commit details
    Browse the repository at this point in the history

  3. Add changelog entry

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    3c8a9db View commit details
    Browse the repository at this point in the history

  4. Simplify test build 

    Thanks to @emillon for pointing out all the shortcut that dune allows to
avoid declaring things over and over.
    @Leonidas-from-XIV
    Leonidas-from-XIV committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    a83ced2 View commit details
    Browse the repository at this point in the history

  5. Replace shelling out to diff by helper program 

    This should be more portable since we don't depend on `diff` being
installed or have an exit code of 1 when the files differ.
    @Leonidas-from-XIV
    Leonidas-from-XIV committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    45e2468 View commit details
    Browse the repository at this point in the history

  6. Make the helper a bit simpler to read and close handles properly

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Jan 27, 2022
    Configuration menu
    Copy the full SHA
    122e46b View commit details
    Browse the repository at this point in the history