Makefile的困難

所以我試圖從these instructions以後從github安裝Coq的同倫型理論庫。運行etc/install_coq.sh將它關閉的命令一堆文件搞亂它擊中一個錯誤使前：Makefile的困難

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

顯然有一個或內Makefile.am存在更多的bug，並根據我讀過，而谷歌搜索的問題這很可能與不正確的空白有關。運行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

什麼是錯是造成問題？

2016-02-28 7132208

Makefile.am通常與Makefile.in配對;在獲得可用的真實Makefile之前，需要使用automake或configure進行處理。

如果你有在您的頂級源目錄中的腳本「autogen.sh」，運行第一，然後配置：

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

這是，事實上，第3步的說明你鏈接到。也許install_coq.sh腳本沒有找到你需要的所有依賴關係？

2016-02-29 03:35:00

回答