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

[develop] feat: fix scripts to use different paths if mina is a submodule of o1js #14238

Merged
merged 42 commits into from
Oct 12, 2023

Conversation

MartinMinkov
Copy link
Contributor

Explain your changes:
Fixes some of the scripts called by dune to use different absolute paths if we are building mina in the context of the o1js as mina being a submodule.

The issue occurs when we build o1js from the root directory with mina as a submodule. Dune will try to resolve some absolute paths from build scripts that will fail and not build o1js properly. To fix this, we conditionally check for submodule locations and change the paths if we have a mina submodule present, otherwise, we use the same build process. This lets us build mina the same way but also build o1js dependencies properly.

Explain how you tested your changes:
Built mina from the root directory to test normal building and built o1js using mina as a submodule successfully.

Addresses o1-labs/o1js#1096

@MartinMinkov MartinMinkov requested review from a team as code owners October 2, 2023 17:13
@MartinMinkov
Copy link
Contributor Author

!ci-build-me

@MartinMinkov MartinMinkov force-pushed the feat/o1js-add-mina-submodule-support-develop branch from ffb8ff4 to d209c62 Compare October 3, 2023 20:02
@MartinMinkov
Copy link
Contributor Author

!ci-build-me

@MartinMinkov MartinMinkov force-pushed the feat/o1js-add-mina-submodule-support-develop branch 2 times, most recently from ef75182 to 555aa54 Compare October 4, 2023 21:11
ghost-not-in-the-shell and others added 18 commits October 10, 2023 01:23
…height-6

Update account_subtree_height to 6
…ummury-to-status-graphql

Add snark pool information to the status metrics query results
…pup-2023-10-05

Merge berkeley into rampup
@MartinMinkov MartinMinkov force-pushed the feat/o1js-add-mina-submodule-support-develop branch from 555aa54 to a521d6a Compare October 11, 2023 17:42
@MartinMinkov MartinMinkov force-pushed the feat/o1js-add-mina-submodule-support-develop branch from a521d6a to aead6fa Compare October 11, 2023 17:45
@MartinMinkov MartinMinkov reopened this Oct 11, 2023
@MartinMinkov MartinMinkov force-pushed the feat/o1js-add-mina-submodule-support-develop branch from 980a858 to bac960c Compare October 11, 2023 18:04
@MartinMinkov MartinMinkov requested a review from a team as a code owner October 11, 2023 18:04
@MartinMinkov
Copy link
Contributor Author

!ci-build-me

@psteckler psteckler merged commit d905bd9 into develop Oct 12, 2023
1 of 2 checks passed
@psteckler psteckler deleted the feat/o1js-add-mina-submodule-support-develop branch October 12, 2023 22:59
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.