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.

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

Unify toploop.mli / opttoploop.mli #10061

Merged
10 commits merged into from
Dec 8, 2020
Merged

Unify toploop.mli / opttoploop.mli #10061

10 commits merged into from
Dec 8, 2020

Commits on Nov 30, 2020

  1. Unify toploop.mli / opttoploop.mli

    This unifies both implementations of the toplevel under a common interface.
    
    Similar Makefile hacks to those in place for dynlink are used: byte
    and native implementations are in separate directories, while the
    shared interface are in the parent and copied as needed by the build
    rules.
    
    This is a preliminary step to remove duplication as much as possible
    in the two implementations, but should already be pretty useful for
    libraries that use the `Toploop` interface.
    AltGr committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    1e35637 View commit details
    Browse the repository at this point in the history
  2. Remove stale file

    AltGr committed Nov 30, 2020
    Configuration menu
    Copy the full SHA
    9225ab1 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2020

  1. Fix test reference

    the source file location path changed...
    AltGr committed Dec 1, 2020
    Configuration menu
    Copy the full SHA
    3ce7a31 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2020

  1. Cleanup toplevel byte/native Makefile copy rules

    Copying the file separately causes issues (there would be two paths to build
    `toplevel/byte/toploop.cmi`); this feels a bit cleaner, but the rules are not
    guarded anymore; it is ok because of the dependency rules ensuing from our
    `beforedepend` rule.
    AltGr committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    a7a1f30 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4081bc5 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b498655 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2020

  1. Update Changes

    AltGr committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    e17b59d View commit details
    Browse the repository at this point in the history
  2. Remove stale mli file

    AltGr committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    9029d91 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2020

  1. Makefiles 80 columns

    AltGr committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    2803a6e View commit details
    Browse the repository at this point in the history
  2. make alldepend

    AltGr committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    2d114d6 View commit details
    Browse the repository at this point in the history