build tcoq failed.

[tigerneil]

./build_tcoq.sh failed with the following error message. give me some hint pls.

neil@neil-System-Product-Name:~/Projects/gamepad$ sudo ./build_tcoq.sh 
~/Projects/gamepad/tcoq ~/Projects/gamepad
...
make --warn-undefined-variable --no-builtin-rules -f Makefile.build install
make[1]: Entering directory '/home/neil/Projects/gamepad/tcoq'
install -d "build/bin"
# recopie des fichiers de style pour coqide
install -d "build/lib/coq"/tools/coqdoc
touch "build/lib/coq"/tools/coqdoc/coqdoc.sty "build/lib/coq"/tools/coqdoc/coqdoc.css # to have the mode according to umask (bug #1715)
install -m 644  tools/coqdoc/coqdoc.css tools/coqdoc/coqdoc.sty "build/lib/coq"/tools/coqdoc
install bin/coqdep bin/coq_makefile bin/gallina bin/coq-tex bin/coqwc bin/coqdoc bin/coqc bin/coqworkmgr "build/bin"
install -d "build/bin"
install bin/coqc bin/coqtop.byte bin/coqtop bin/coqchk "build/bin"
Makefile.install:66: recipe for target 'install-binaries' failed
make[1]: Leaving directory '/home/neil/Projects/gamepad/tcoq'
Makefile:154: recipe for target 'submake' failed
~/Projects/gamepad
neil@neil-System-Produc

[tigerneil]

try it on another computer

make --warn-undefined-variable --no-builtin-rules -f Makefile.build install
make[1]: Entering directory '/home/neil/Projects/gamepad/tcoq'
install -d "build/bin"
# recopie des fichiers de style pour coqide
install -d "build/lib/coq"/tools/coqdoc
touch "build/lib/coq"/tools/coqdoc/coqdoc.sty "build/lib/coq"/tools/coqdoc/coqdoc.css # to have the mode according to umask (bug #1715)
Makefile.install:76: recipe for target 'install-tools' failed
make[1]: Leaving directory '/home/neil/Projects/gamepad/tcoq'
Makefile:154: recipe for target 'submake' failed
~/Projects/gamepad

[tigerneil]

which operating system you are using?

[spolu]

I personally successfully built it on Ubuntu Linux.

[tigerneil]

@spolu I got it work.