Трудности с Makefile

Question

Итак, я пытаюсь установить библиотеку теорий типа Homotopy для Coq из github, следуя these instructions. Выполнение команды etc/install_coq.sh устанавливает его баловаться с кучей файлов, прежде чем он попадает ошибку, как так:

$ make clean 
make: *** No rule to make target `clean'. Stop. 

Видимо есть одна или несколько ошибок, присутствующие в Makefile.am, и согласно тому, что я прочитал в то время как прибегая вопрос Вероятно, это связано с неправильным пробелом. Запуск make clean сам дает то же самое:

make: *** No rule to make target `clean'. Stop. 

В то же время работает make -f Makefile.am clean выходы:

Makefile.am:4: *** missing separator. Stop. 

Строки 4-6 в файле просто:

if make_hoqide 
    bin_SCRIPTS += hoqide 
endif 

Что плохого в том, что вызывает проблема?

Answer 1

Makefile.am, как правило, сопряжен с Makefile.in; они должны обрабатываться с помощью automake или configure, прежде чем вы получите полезный реальный Makefile.

Если у вас есть скрипт «autogen.sh» в вашем исходном каталоге верхнего уровня, запустите что первым, а затем настроить:

$ ./autogen.sh 
$ ./configure 
$ make 

Это, по сути, шаг 3 из инструкции с которым вы связались. Возможно, скрипт install_coq.sh не находит все зависимости, которые вам нужны?