Adrian Herrera

Weird. I would investigate why this isn't working. Maybe you have old version of make or something? The list command comes from the accepted solution at https://stackoverflow.com/questions/4219255/how-do-you-get-the-list-of-targets-in-a-makefile

The infrastructure is now in place to do this! Currently there are tests for Linux projects, Windows executable and driver projects, CGC projects, and ELF static analysis. Tests still to...

This looks like an issue with gclang, not pip? I'd have a look at the version of go installed vs the version of gclang; it looks like there is a...

Hi @tkuchta, Yeah okay, these are all good ideas. I think maybe we can keep the init of globals, but not call any functions. Essentially, `main` almost becomes another stub...

Hey @tkuchta, Sorry about the long delay! I've finally got a chance to make the change to the original PR. Now, rather than preventing the generation of `main`, it still...

Per the error message, this appears to be a permission issue. Please ensure you have the correct Docker permissions. On Sun, 2 Jul 2023 at 14:41, anzosasuke ***@***.***> wrote: >...

If you run `groups`, are you a member of the `docker` group? What command are you running here?

Your name is not enough. You also need the docker group. On Mon, 3 Jul 2023 at 15:48, anzosasuke ***@***.***> wrote: > I do have my name in groups. >...

Can you create files in the current directory you're running `./run.sh` from? I'm not sure how much more I can help.