-
Notifications
You must be signed in to change notification settings - Fork 6
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
Multiple Errors While Building WaVe #20
Comments
Clone Failed Error: yes, it is very intentional that we are using the .git links for the repo: they make it easier for contributors to push changes since everything is done through ssh keys (I recommend doing everything on github with ssh keys, it makes life much easier) Missing File Error: Ya, sorry about that, I think the mac filename was renamed at some point, I'll fix that. I'll take a look at the other mac issues you have, but it seems that proc_macro is using the wrong version on mac (?). I can't promise that I'll look at this immediately since I don't have a mac machine to test on. Tbh, the easiest fix would just be to use linux, which I test often and know to work. |
Build Errors from Dockerfile in WaVe RepositoryThank you for your previous reply.
Thanks in advance. |
Hmm, I haven't been able to reproduce this, what architecture are you running on? |
Mac OS Ventura version 13.5.2, is this executable on this environment? |
Issue: Multiple Errors While Building WaVe
Hi,
My name is Celine, and I am currently pursuing my Master's from Universität des Saarlandes. I am using WaVe as a part of my thesis, and I encountered several errors while trying to clone and build the project.
Clone Failed Error
Initially, I encountered a clone failed error of submodules as they were cloning using SSH keys. I changed the
.gitmodules
file to use HTTPS URLs, which resolved the cloning issue.proc_macro_span_shrink
ErrorNext, I encountered the following error:
I resolved this by commenting out the corresponding line in the file.
Missing File Error
Subsequently, I encountered this error:
It seems like the file name is macos.rs and in the files Mac.rs was specified. So I changed it to macos.rs in all files which eliminated the error.
Multiple Errors in macos.rs
After that, I got a lot of errors:
Any help would be appreciated
Thanks
The text was updated successfully, but these errors were encountered: