Я нашел две CoCoA
веб-страницы, которые, кажется, содержат некоторые рекомендации:
Здесь сначала приводится ссылка на загрузку CoCoA -5, а затем объясняется установка :http://cocoa.dima.unige.it/download/install5-unix.shtml
По следующей ссылке есть скриншоты, связанные с установкой и настройкой :http://cocoa.dima.unige.it/download/screenshots.shtml
Единственнаяconfigure
-подобная команда, на которую ссылаются, это ./ConfigEmacs.sh
. Предыдущие версии CoCoA
также не упоминают команду ./configure
.