Olá Isabelle!
Parece que você está enfrentando um problema comum na configuração do ambiente para compilar programas em C no Windows. Não se preocupe, vamos tentar resolver isso juntos.
Pela imagem que você compartilhou, parece que você está na janela de edição das variáveis de ambiente do sistema. O que você precisa fazer é adicionar o caminho do compilador GCC ao Path do sistema para que você possa chamar o compilador a partir da linha de comando em qualquer diretório.
Aqui estão os passos que você pode seguir:
Na janela que está aberta, você deve clicar em "Path" na seção "Variáveis de usuário para Isabelle" (ou "Variáveis do sistema" se você instalou o GCC para todos os usuários) e então clicar no botão "Editar...".
Na próxima tela, você verá uma lista de caminhos já configurados. Aqui você pode adicionar um novo caminho clicando em "Novo" e colando o caminho onde o GCC está instalado no seu computador. Geralmente, se você usou o MinGW, o caminho será algo como C:\MinGW\bin.
Após adicionar o novo caminho, clique em "OK" para fechar a janela de edição e novamente em "OK" para fechar a janela de variáveis de ambiente.
Para verificar se o GCC foi corretamente adicionado ao Path, abra um novo Prompt de Comando (cmd) e digite gcc --version. Se tudo estiver correto, você deverá ver a versão do GCC que está instalada no seu sistema.
Se você ainda tiver problemas ou se o caminho que você precisa adicionar não for claro, você pode precisar verificar onde o GCC foi instalado no seu computador e usar esse caminho específico.
Espero que estas instruções ajudem a resolver o problema que você está enfrentando. Lembre-se de que, às vezes, pode ser necessário reiniciar o computador para que as alterações nas variáveis de ambiente tenham efeito. Boa sorte e bons estudos!
Poderiam me ajudar?
