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

Decrease amount of git submodules #11212

Closed
yorickvP opened this issue Jun 7, 2022 · 3 comments · Fixed by #11220
Closed

Decrease amount of git submodules #11212

yorickvP opened this issue Jun 7, 2022 · 3 comments · Fixed by #11220
Assignees

Comments

@yorickvP
Copy link
Collaborator

yorickvP commented Jun 7, 2022

The following submodules currently exist:

ocaml:

  • capnp-ocaml
  • async_kernel
  • rpc_parallel
  • snarky
  • ppx_optcomp
  • tablecloth
  • ppx_version
  • prometheus

C:

  • c-reference-signer

node:

  • snarkyjs

rust:

  • wasm-bindgen-rayon
  • proof-systems

The ocaml packages can be handled by opam, the rust deps can be handled by cargo, and the nodejs deps can be handled by nodejs. We'll also figure something out for the c-reference-signer.

@yorickvP yorickvP added the Tweag label Jun 7, 2022
@yorickvP yorickvP changed the title Decrease amount of submodules Decrease amount of git submodules Jun 7, 2022
@Firobe Firobe linked a pull request Jun 9, 2022 that will close this issue
@yorickvP
Copy link
Collaborator Author

Produced o1-labs/proof-systems#612

@robinbb
Copy link

robinbb commented Jun 24, 2022

@yorickvP @balsoft @Firobe It seems this issue has not had work done in 9 days, though it is marked "in progress". Is it in progress? If so, what is the progress?

@yorickvP
Copy link
Collaborator Author

yorickvP commented Jul 4, 2022

@robinbb progress was made at #11388

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 a pull request may close this issue.

4 participants