[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#242761: coq: FTBFS: waits for input

Package: coq
Version: 7.3.1-2

I tried building coq from source and it only hangs, waiting for input.  I tried
this with sbuild on i386 and mipsel, and by hand on i386.  The package
obvioulsed used to build but it seems it no longer does.  Can you please check
what's going on there?

> mv -f patch-stampT patch-stamp
> dh_testdir
> ./configure -opt --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq || ./configure --prefix /usr --mandir /usr/share/man --emacslib /usr/share/emacs/site-lisp/coq
> ocamlc.opt is not present in your path !
> Give me manually the path to the ocamlc executable [/usr/local/bin by default]:

Martin Michlmayr

Reply to: