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.

Sign up for GitHub

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

Jump to bottom

Check that we are compatible with bytecode-only environments #1066

Closed
bclement-ocp opened this issue Mar 21, 2024 · 0 comments · Fixed by #1175
Closed

Check that we are compatible with bytecode-only environments #1066

bclement-ocp opened this issue Mar 21, 2024 · 0 comments · Fixed by #1175
Assignees
@bclement-ocp
Labels
build
Milestone
2.6.0

Comments

@bclement-ocp
Copy link
Collaborator

I think #1049 fixed the issue, but we should double-check.

See ocaml/opam-repository#25294
@bclement-ocp bclement-ocp added this to the 2.6.0 milestone Jul 11, 2024
bclement-ocp added a commit to bclement-ocp/alt-ergo that referenced this issue Jul 23, 2024
@bclement-ocp
chore: Support bytecode-only environments
481a01d 
We use dune-site for the inequalities plugin, but not for the AB Why3
plugin. Since this plugin is deprecated, simply mark it as incompatible
with bytecode-only environments.

Fixes OCamlPro#1066
@bclement-ocp bclement-ocp mentioned this issue Jul 23, 2024
Merged
@bclement-ocp bclement-ocp self-assigned this Jul 23, 2024
Halbaroth pushed a commit to Halbaroth/alt-ergo that referenced this issue Jul 24, 2024
@bclement-ocp @Halbaroth
chore: Support bytecode-only environments
4968c24 
We use dune-site for the inequalities plugin, but not for the AB Why3
plugin. Since this plugin is deprecated, simply mark it as incompatible
with bytecode-only environments.

Fixes OCamlPro#1066
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bclement-ocp bclement-ocp

Labels
build
Projects
None yet
Milestone
2.6.0
Development

Successfully merging a pull request may close this issue.

chore: Support bytecode-only environments bclement-ocp/alt-ergo
1 participant
@bclement-ocp