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

Unset OPAM_SWITCH_PREFIX when using make cold #5534

Merged
merged 1 commit into from
Jul 24, 2024

Conversation

kit-ty-kate
Copy link
Member

Otherwise if for example z3 is installed in your local switch make cold fails with:

Downloading vendored source dependencies...
done
Extracting vendored source dependencies in src_ext/... done
env PATH="`pwd`/bootstrap/ocaml/bin:$PATH" CAML_LD_LIBRARY_PATH= OCAML_TOPLEVEL_PATH= make
make[1]: Entering directory '/home/kit_ty_kate/work/opam'
src_ext/dune-local/dune.exe build --profile=release --root .  --promote-install-files -- opam-installer.install opam.install
File "src/solver/opamBuiltinZ3.ml", line 1:
Error: /home/kit_ty_kate/.opam/default/lib/z3/z3.cmi
       is not a compiled interface for this version of OCaml.
It seems to be for a newer version of OCaml.
make[1]: *** [Makefile:146: build-opam] Error 1
make[1]: Leaving directory '/home/kit_ty_kate/work/opam'
make: *** [Makefile:287: cold] Error 2

@rjbou rjbou force-pushed the unset-opam-switch-prefix-cold branch from 8358d53 to 666aa77 Compare December 12, 2023 10:19
@rjbou rjbou added the PR: WIP Not for merge at this stage label Dec 12, 2023
@kit-ty-kate kit-ty-kate force-pushed the unset-opam-switch-prefix-cold branch from 666aa77 to 6b4de8e Compare July 9, 2024 20:06
@kit-ty-kate kit-ty-kate removed the PR: WIP Not for merge at this stage label Jul 9, 2024
@kit-ty-kate kit-ty-kate added this to the 2.3.0~alpha milestone Jul 9, 2024
@kit-ty-kate kit-ty-kate force-pushed the unset-opam-switch-prefix-cold branch from 6b4de8e to 117ba91 Compare July 9, 2024 20:07
@kit-ty-kate kit-ty-kate requested a review from rjbou July 10, 2024 14:33
Copy link
Collaborator

@rjbou rjbou left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@kit-ty-kate kit-ty-kate merged commit 22f85f6 into ocaml:master Jul 24, 2024
29 checks passed
@kit-ty-kate kit-ty-kate deleted the unset-opam-switch-prefix-cold branch July 24, 2024 17:33
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.

2 participants