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

[lower bounds] present library is missing? #19726

Closed
mseri opened this issue Oct 8, 2021 · 3 comments
Closed

[lower bounds] present library is missing? #19726

mseri opened this issue Oct 8, 2021 · 3 comments

Comments

@mseri
Copy link
Member

mseri commented Oct 8, 2021

Error is:


#=== ERROR while compiling mirage-crypto-pk.0.8.0 =============================#
# context              2.1.0 | linux/x86_64 | ocaml-base-compiler.4.11.2 | file:///home/opam/opam-repository
# path                 ~/.opam/4.11/.opam-switch/build/mirage-crypto-pk.0.8.0
# command              ~/.opam/opam-init/hooks/sandbox.sh build dune build -p mirage-crypto-pk -j 31
# exit-code            1
# env-file             ~/.opam/log/mirage-crypto-pk-23-2c7e1c.env
# output-file          ~/.opam/log/mirage-crypto-pk-23-2c7e1c.out
### output ###
# File "/home/opam/.opam/4.11/lib/ocaml-compiler-libs/bytecomp/ocaml-compiler-libs.bytecomp.dune", line 1, characters 0-0:
# Warning: .dune files are ignored since 2.0. Reinstall the library with dune
# >= 2.0 to get rid of this warning and enable support for the subsystem this
# library provides.
# File "/home/opam/.opam/4.11/lib/ocaml-compiler-libs/common/ocaml-compiler-libs.common.dune", line 1, characters 0-0:
# Warning: .dune files are ignored since 2.0. Reinstall the library with dune
# >= 2.0 to get rid of this warning and enable support for the subsystem this
# library provides.
# File "/home/opam/.opam/4.11/lib/ocaml-compiler-libs/shadow/ocaml-compiler-libs.shadow.dune", line 1, characters 0-0:
# Warning: .dune files are ignored since 2.0. Reinstall the library with dune
# >= 2.0 to get rid of this warning and enable support for the subsystem this
# library provides.
# File "/home/opam/.opam/4.11/lib/ocaml-compiler-libs/toplevel/ocaml-compiler-libs.toplevel.dune", line 1, characters 0-0:
# Warning: .dune files are ignored since 2.0. Reinstall the library with dune
# >= 2.0 to get rid of this warning and enable support for the subsystem this
# library provides.
# File "/home/opam/.opam/4.11/lib/ppx_derivers/ppx_derivers.dune", line 1, characters 0-0:
# Warning: .dune files are ignored since 2.0. Reinstall the library with dune
# >= 2.0 to get rid of this warning and enable support for the subsystem this
# library provides.
# File "pk/dune", line 4, characters 68-80:
# 4 |   (libraries cstruct zarith mirage-crypto mirage-crypto-rng sexplib eqaf.cstruct rresult)
#                                                                         ^^^^^^^^^^^^
# Error: Library "eqaf.cstruct" not found.
# Hint: try: dune external-lib-deps --missing -p mirage-crypto-pk -j 31 @install

From https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/097ecf872ed3bdfacf1b07d3bf58a8a349693cdd/variant/opam-2.1,compilers,4.11,conduit-mirage.4.0.0,lower-bounds

However the installed version of eqaf (0.7.0) provides the eqaf.cstruct library

@mseri mseri changed the title [lower bounds] present library is missing [lower bounds] present library is missing? Oct 8, 2021
@mseri
Copy link
Member Author

mseri commented Oct 8, 2021

Seen on #19716

@kit-ty-kate
Copy link
Member

This is due to the fact that eqaf < 0.8 provides eqaf.cstruct and eqaf.bigstring as optional libraries and bigstring-compat (required for eqaf.cstruct through eqaf.bigstring) isn't installed.

@mseri
Copy link
Member Author

mseri commented Oct 19, 2021

Thanks! Indeed, this was just fixed by #19803

@mseri mseri closed this as completed Oct 19, 2021
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

No branches or pull requests

2 participants