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

Add minivpt lower bounds #24680

Merged
merged 2 commits into from
Oct 26, 2023
Merged

Add minivpt lower bounds #24680

merged 2 commits into from
Oct 26, 2023

Conversation

jmid
Copy link
Contributor

@jmid jmid commented Oct 26, 2023

In #24677 there are lower bound failures in lower bound dependency... 😅
This causes:

#=== ERROR while compiling minivpt.2.0.0 ======================================#
# context              2.2.0~alpha3~dev | linux/x86_64 | ocaml-base-compiler.4.03.0 | file:///home/opam/opam-repository
# path                 ~/.opam/4.03/.opam-switch/build/minivpt.2.0.0
# command              ~/.opam/opam-init/hooks/sandbox.sh build obuild build lib-minivpt
# exit-code            2
# env-file             ~/.opam/log/minivpt-7-cd9550.env
# output-file          ~/.opam/log/minivpt-7-cd9550.out
### output ###
# uncaught exception
# Fatal error: exception Failure("unknown option: lib-minivpt")

After having checked locally, this PR therefore adds a lower bound requirement of obuild.0.0.3

@jmid
Copy link
Contributor Author

jmid commented Oct 26, 2023

CI showed

I've therefore restarted the failing jobs,

@jmid
Copy link
Contributor Author

jmid commented Oct 26, 2023

Still seeing
s390x-ocaml-4.14 minivpt.1.0.0 (failed: Failed: Build failed)
with the message
fatal: cannot create directory at 'packages/camyll/camyll.0.3.0': No space left on device

@mseri
Copy link
Member

mseri commented Oct 26, 2023

That’s a ci issue, don’t worry about it. Thanks for the fix

@mseri
Copy link
Member

mseri commented Oct 26, 2023

Minivpt now builds fine, thanks

@mseri mseri merged commit 71f081d into ocaml:master Oct 26, 2023
1 check was pending
@jmid jmid deleted the minivpt-lower-bound branch October 26, 2023 21:12
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.

None yet

2 participants