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

Disallow ppx dependencies on non-ppx libraries #3039

Merged
merged 13 commits into from
Jan 21, 2020
Merged

Disallow ppx dependencies on non-ppx libraries #3039

merged 13 commits into from
Jan 21, 2020

Commits on Jan 21, 2020

  1. Disallow ppx dependencies on non-ppx libraries 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    93335d1 View commit details
    Browse the repository at this point in the history

  2. Better error message 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    2734848 View commit details
    Browse the repository at this point in the history

  3. Make the check conditional 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    1fd8076 View commit details
    Browse the repository at this point in the history

  4. Fix test 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    c58b836 View commit details
    Browse the repository at this point in the history

  5. Remove some indirection 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    3901b08 View commit details
    Browse the repository at this point in the history

  6. Bring two dependency checks together 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    6dafe84 View commit details
    Browse the repository at this point in the history

  7. Simplify 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    af201d9 View commit details
    Browse the repository at this point in the history

  8. Minor revision 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    ea0b432 View commit details
    Browse the repository at this point in the history

  9. Drop unused code 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    78bce7e View commit details
    Browse the repository at this point in the history

  10. Make more checks, add comments, update change log 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    f2937e2 View commit details
    Browse the repository at this point in the history

  11. Small simplification 

    Signed-off-by: Jeremie Dimino <[email protected]>
    @jeremiedimino
    jeremiedimino committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    fb8d490 View commit details
    Browse the repository at this point in the history

  12. Fix comment 

    Signed-off-by: Andrey Mokhov <[email protected]>
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    599860a View commit details
    Browse the repository at this point in the history

  13. Merge branch 'ppx-dep-check' of github.com:snowleopard/dune into ppx-… 

    …dep-check
    @snowleopard
    snowleopard committed Jan 21, 2020
    Configuration menu
    Copy the full SHA
    1c51579 View commit details
    Browse the repository at this point in the history