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

[Chore] v18.0-rc1 hotfixes #703

Merged
merged 3 commits into from
Aug 22, 2023
Merged

Conversation

krendelhoff2
Copy link
Member

@krendelhoff2 krendelhoff2 commented Aug 22, 2023

Description

Native packages binary build seem to be broken too, the same reason as the nix build's one.
The reason is we recursively search for opam files in the tezos repo and try to use them all. We exclude octez-dev-deps.opam, but one more file now should be excluded for the correct build.

Regarding native builds, there is no need to search all opam files recursively at all. All deps are located in one opam file. Commands for binary build are taken from the tezos Makefile scripts.

Related issue(s)

Resolves #

Related changes (conditional)

  • I checked whether I should update the README

  • I checked whether native packaging works, i.e. native binary packages
    can be successfully built.

Stylistic guide (mandatory)

Problem: The reason of nix build failure was the
dependency of time-measurement library, which
doesn't seem to be required at all for the
octez binaries build.

Solution: Remove previous hack and exclude
`tezos-time-measurement` opam file.
Problem: Release number was not reset on new
upstream release.

Solution: Reset it.
Problem: Previously, we took all opam files found in
the repo, installing dependencies of it. But it is
redundant, since all deps are concentrated in one
opam file.

Solution: Install deps using `octez-deps.opam`.
@krendelhoff2 krendelhoff2 requested a review from pasqu4le August 22, 2023 10:17
@pasqu4le pasqu4le merged commit 048ff39 into master Aug 22, 2023
@pasqu4le pasqu4le deleted the krendelhoff/chore-v18.0-rc1-hotfix branch August 22, 2023 12:14
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.

2 participants