search

paulfitz / cosmicos

Sending the lambda calculus into deep space
https://cosmicos.github.io/
GNU General Public License v2.0
134 stars 8 forks source link

building error for cosmicos #38

Open dmkunsman opened 2 years ago

dmkunsman commented 2 years ago

Hello, I am trying to build ./make.sh tiny and I am getting this error and I don't know why /bin/bash: src/prepare_node.sh: Permission denied

dmkunsman commented 2 years ago

and just another note; I do have execute permissions on make.sh and prepare_node.sh

paulfitz commented 2 years ago

Hi @dmkunsman, I expect it is a user id mismatch when running docker. Are you on Windows by any chance? I haven't tried the script on Windows, and this part might need tweaking: https://github.com/paulfitz/cosmicos/blob/f1bfda9bc007119d6daa3c790cbaf0db10b5fc13/make.sh#L20-L23

dmkunsman commented 2 years ago

I am running on fedora actually. And I am root while trying to run it.

On Sat, Apr 23, 2022 at 8:00 PM Paul Fitzpatrick @.***> wrote:

Hi @dmkunsman https://github.com/dmkunsman, I expect it is a user id mismatch when running docker. Are you on Windows by any chance? I haven't tried the script on Windows, and this part might need tweaking: https://github.com/paulfitz/cosmicos/blob/f1bfda9bc007119d6daa3c790cbaf0db10b5fc13/make.sh#L20-L23

— Reply to this email directly, view it on GitHub https://github.com/paulfitz/cosmicos/issues/38#issuecomment-1107676217, or unsubscribe https://github.com/notifications/unsubscribe-auth/AIJMA3XMA32UTSKUDVBXZ7DVGSMLNANCNFSM5UED3URA . You are receiving this because you were mentioned.Message ID: @.***>

paulfitz commented 2 years ago

Hmmm, any chance you've tried running it as different users? Maybe try killing the build container with docker kill cosmicos_build so one try isn't affecting the next try.