Encontrei duas páginas web CoCoA
que parecem fornecer alguma orientação:
Isso primeiro fornece um link para o download do CoCoA-5 e explica a instalação: link
O próximo link tem capturas de tela relacionadas à instalação e configuração: link
O único comando configure
-like que é referenciado é ./ConfigEmacs.sh
. As versões anteriores de CoCoA
também não mencionam o comando ./configure
.