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

Rename ocamlopttoplevel.cmxa to ocamltoplevel.cmxa #10078

Merged
merged 1 commit into from Dec 15, 2020
Merged

Conversation

AltGr
Copy link
Member

@AltGr AltGr commented Dec 9, 2020

This follows from #10061 by renaming the library to further unify the two toplevels.

Some remaining references to Opttop* have also been cleaned up.

Note that no further patch to ocamlfind should be necessary as the included META file already declared opttoplevel.cmxa as the native archive for the toplevel — https://github.com/ocaml/ocamlfind/blob/9e406208dfe60160fbdc1ea135d1cc0e2ef8e216/site-lib-src/compiler-libs/META.in#L37
This might be an issue for linking the native toplevel with dune until it has dedicated support, but that will only affect the native toplevel, that doesn't seem to be used in the wild (as the lack of META definition points out...).

This follows from ocaml#10061 by renaming the library to further unify the two
toplevels.

Some remaining references to `Opttop*` have also been cleaned up.
@mshinwell mshinwell merged commit d07d6c3 into ocaml:trunk Dec 15, 2020
dbuenzli pushed a commit to dbuenzli/ocaml that referenced this pull request Mar 25, 2021
This follows from ocaml#10061 by renaming the library to further unify the two
toplevels.

Some remaining references to `Opttop*` have also been cleaned up.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants