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

language file 'Coma' not found, when launching why3 ide #1018

Open
Armael opened this issue Jun 3, 2024 · 3 comments
Open

language file 'Coma' not found, when launching why3 ide #1018

Armael opened this issue Jun 3, 2024 · 3 comments

Comments

@Armael
Copy link
Contributor

Armael commented Jun 3, 2024 

$ cargo creusot why3 ide
language file for 'Coma' not found in directory /home/armael/recherche/creusot/_opam/share/why3/lang

this got broken by the merge of #968 , though the issue is probably on the side of the why3 coma branch that we now use.
@xldenis
Copy link
Collaborator

xldenis commented Jun 3, 2024

the solution is to copy the coma.lang file from the mome branch of why3 into the indicated directory. Why it isn't being installed with the other language definition files? I'm not sure. Perhaps deleting and recreating the opam switch fixes the issue?

@Armael
Copy link
Contributor Author

Armael commented Jun 3, 2024

it looks like it's just missing from the Makefile install step; I've submitted a MR on the why3 side...

@xldenis
Copy link
Collaborator

xldenis commented Jun 3, 2024

it looks like it's just missing from the Makefile install step; I've submitted a MR on the why3 side...

Oh that's good.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Armael @xldenis