Conversation
ALANVF
left a comment
ALANVF
left a comment
There was a problem hiding this comment.
Odin would be nice to have, however it seems like the odin command doesn't exist after installing the language. Might be an issue in the setup section
languages/odin.toml
Outdated
| ] | ||
| packages = [ | ||
| "llvm", | ||
| "clang" |
There was a problem hiding this comment.
If possible, it'd be nice if you used a version of clang that other language configs are already using. At the very least, try to choose a specified version of clang and llvm.
There was a problem hiding this comment.
Would clang-10 and llvm-10 work?
| ] | ||
| setup = [ | ||
| "cd /tmp", | ||
| "git clone https://github.com/odin-lang/odin", |
There was a problem hiding this comment.
Make sure to delete the files once you're done using them.
There was a problem hiding this comment.
Sadly, Odin requires its standard library to be relative to the itself. Therefore, at the minimum, the standard library cannot be deleted. How would you like me to handle that?
There was a problem hiding this comment.
Can the files be moved to somewhere like /usr/local/share/odin?
|
Hello, I have responded to the individual conversations. As for the |
- Added llvm-10 - Added clang-10 - Moved from `/tmp` to `/usr/local/share` - Made sure to clean up as much as possible
|
Hello, Apologies as I had forgotten to comment. I made the changes you requested. Please let me know if you continue to run into any issues. I also can't replicate the |
|
Good afternoon @F0x1fy ! You've probably noticed by now that we've been slow to merge community PRs on polygott. We've decided to focus on giving Repl.it a stable foundation instead of adding features and updating languages. Once we and our community feel comfortable with Repl.it's overall stability, we'll give this change another look. Thank you for contributing! |
3 participants
Hello everyone!
In
odin.tomlI have added support for Odin, a powerful language built for the joy of programming. This was made following the requirements in the Getting Started on the Odin website.