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

Port to OCaml 4.12 #408

Merged
merged 7 commits into from Sep 15, 2021
Merged

Port to OCaml 4.12 #408

merged 7 commits into from Sep 15, 2021

Commits on Jul 28, 2021

  1. Cleanup obsolete ocp-build files

    @AltGr
    AltGr committed Jul 28, 2021
    Copy the full SHA
    4be47cd View commit details
    Browse the repository at this point in the history

  2. Upgrade ppx-metaquot from upstream

    @AltGr
    AltGr committed Jul 28, 2021
    Copy the full SHA
    b66cf2c View commit details
    Browse the repository at this point in the history

  3. Port to OCaml 4.12

    @AltGr
    AltGr committed Jul 28, 2021
    Copy the full SHA
    2ac5c54 View commit details
    Browse the repository at this point in the history

  4. Debug add env var LEARNOCAML_SERVER_NOCACHE to disable all http caching

    @AltGr
    AltGr committed Jul 28, 2021
    Copy the full SHA
    66994f2 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2021

  1. Fixes for Docker and CI

    @AltGr
    AltGr committed Jul 29, 2021
    Copy the full SHA
    c9c77a9 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2021

  1. Worst typo ever 

    How did this happen? I thought I was going mad for a moment
    @AltGr
    AltGr committed Jul 30, 2021
    Copy the full SHA
    c704ef5 View commit details
    Browse the repository at this point in the history

  2. Fix linking 

    dune no longer accepts manually setting `-custom` and doesn't allow us to set
complete bytecode binaries to be installed :/ (see
ocaml/dune#4837)

it seems this combination with manual install is the only layout that allows
normal and static linking to work...
    @AltGr
    AltGr committed Jul 30, 2021
    Copy the full SHA
    82cea09 View commit details
    Browse the repository at this point in the history