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

Wrong extension used for Cairo compiled bytecode programs #2724

Closed
lukaszcz opened this issue Apr 15, 2024 · 0 comments · Fixed by #2727
Closed

Wrong extension used for Cairo compiled bytecode programs #2724

lukaszcz opened this issue Apr 15, 2024 · 0 comments · Fixed by #2727
Assignees
@janmasrovira
Labels
bug cairo CLI priority:high
Milestone
0.6.2

Comments

@lukaszcz
Copy link
Collaborator

lukaszcz commented Apr 15, 2024 •
edited
Loading

Running

juvix compile cairo program.juvix

produces program.casm instead of program.json. The contents of the file is fine, but the extension is wrong. .casm is for the textual representation of Cairo assembly programs (an intermediate format produced by juvix dev compile casm program.juvix). The Cairo bytecode is saved in JSON format.
@lukaszcz lukaszcz added this to the 0.6.2 milestone Apr 15, 2024
@lukaszcz lukaszcz changed the title Wrong extension used for the Cairo Wrong extension used for Cairo compiled bytecode programs Apr 15, 2024
@janmasrovira janmasrovira self-assigned this Apr 16, 2024
@janmasrovira janmasrovira mentioned this issue Apr 16, 2024
Merged
lukaszcz pushed a commit that referenced this issue Apr 16, 2024
@janmasrovira
Fix output file extension for compile cairo (#2727)
138e8f4 
- Fixes #2724
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@janmasrovira janmasrovira

Labels
bug cairo CLI priority:high
Projects
None yet
Milestone
0.6.2
Development

Successfully merging a pull request may close this issue.

Fix output file extension for compile cairo anoma/juvix
2 participants
@lukaszcz @janmasrovira