Skip to content

Conversation

bleepbloopsify
Copy link
Contributor

Proof of concept branch:

delete all dune usage, and move all dune invocations to mina.

mina is on my personal branch, leon/o1js-bindings.

This allows us to remove dune from o1js entirely.

We'll have to carefully merge the o1js_bindings into mina and then make this change.

I need to clean up the scripts as well.

Also, removed some logic around source maps, since it seems unused.

@bleepbloopsify bleepbloopsify requested review from a team as code owners September 29, 2025 21:36
@bleepbloopsify bleepbloopsify marked this pull request as draft September 30, 2025 15:20
@bleepbloopsify
Copy link
Contributor Author

https://github.com/MinaProtocol/mina/pull/17887/files

relevant PR in mina

@bleepbloopsify bleepbloopsify force-pushed the leon/move-bindings-to-mina branch 2 times, most recently from 537ab69 to 3544640 Compare September 30, 2025 17:54
@bleepbloopsify bleepbloopsify self-assigned this Oct 1, 2025
(8f958aac99f53f27ce34e62861775d7117821a2c)`

downgrades dune to 3.1 to be compatible
upgrades node to 22.0 for wasm support (across our CI)
nix rust toolchain upgrade to 2024-09-05
fixes API incompatibilities
adds `.gitattributes` to some improper files
fixes our `dune` files to have more standard flag usage (for better
inheritance)
adds a dependency debug line to a dune invocation in order to give
better tracing for objects when building (doesn't affect happy path)
@bleepbloopsify bleepbloopsify force-pushed the leon/move-bindings-to-mina branch from 3544640 to 618bc9e Compare October 3, 2025 20:05
@bleepbloopsify bleepbloopsify changed the base branch from main to leon/bump-mina October 3, 2025 20:06
@bleepbloopsify bleepbloopsify force-pushed the leon/move-bindings-to-mina branch from c2895d1 to cb48b66 Compare October 3, 2025 20:39
@bleepbloopsify bleepbloopsify force-pushed the leon/bump-mina branch 5 times, most recently from 5a4c740 to 1f78fb4 Compare October 13, 2025 14:45
Base automatically changed from leon/bump-mina to develop October 15, 2025 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant