make 3.80 não está mais disponível nos repositórios do Cygwin. Mas a melhor pergunta é: por que você quer uma versão tão antiga?
Eu preciso trabalhar no GNU make 3.80, mas o cygwin fez 3.81 instalado. Como posso remover o make 3.81 e instalar o 3.80?
Eu tentei executar o setup.exe para o cygwin e instalar o make 3.80, ele roda bem, mas no terminal ele mostra 3.81.
make 3.80 não está mais disponível nos repositórios do Cygwin. Mas a melhor pergunta é: por que você quer uma versão tão antiga?
Eu encontrei a solução, eu tinha devkitpro instalado no meu pc, que estava usando make 3.81 version. Eu descobri usando o comando which .
$which make
Então eu desinstalei o devkit e reinstalei o recente pacote make que é 3.82 e depois substituí o make.exe do pacote que tenho (3.80) para a pasta cygwin bin. O método foi sugerido pelo fornecedor do pacote.
E agora o make está funcionando bem e é compatível com o meu projeto.