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

DO NOT MERGE: Remove vendored dependencies #32

Closed
wants to merge 1 commit into from
Closed

Conversation

tmcgilchrist
Copy link
Member

@tmcgilchrist tmcgilchrist commented Jan 3, 2023

Working around this bug in Dune.

Originally raised as ocaml/dune#6577

@talex5
Copy link
Contributor

talex5 commented Jun 28, 2023

Why not merge this? CI is (mostly) passing, so it seems these aren't needed at all.

@talex5
Copy link
Contributor

talex5 commented Jun 28, 2023

I've made an updated version of this at #68.

@benmandrew benmandrew force-pushed the solver-ci branch 2 times, most recently from 526aaf3 to e18b21c Compare July 4, 2023 11:34
Solver-service is going to be vendored by ocaml-ci and ocaml-multicore-ci,
deleting pin-depends make it easy to maintain by having a branch that
does not have the vendored repos. And that branch is going to be
vendored by ocaml-ci and ocaml-multicore-ci to avoid conflict.
@tmcgilchrist
Copy link
Member Author

@talex5 if we don't need the submodule vendoring (in ocaml-ci) we could get rid of this branch. Ideally when we need to consume this from ocaml-ci we only want the capnp generated API package.

@moyodiallo moyodiallo marked this pull request as draft July 11, 2023 09:01
@talex5
Copy link
Contributor

talex5 commented Jul 11, 2023

There aren't any submodules at the moment (they were removed in #68) - this PR is now just removing the left-over .gitmodules file.

(note: there's also the (vendored_dirs ocluster ocurrent ocaml-dockerfile) line in dune, but it's not doing any harm and we might want to add them again later)

@moyodiallo moyodiallo marked this pull request as ready for review July 18, 2023 08:15
@moyodiallo moyodiallo marked this pull request as draft July 18, 2023 08:16
@moyodiallo moyodiallo closed this Jul 18, 2023
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.

3 participants