On 26/08/2015 22:03, Makarius wrote:
On Wed, 26 Aug 2015, Artella Coding wrote:
I tried the msys instructions and encountered an error upon running
"make".
/bin/sh: line 9: makeinfo: command not found
You need to install the texinfo package, e.g. like this:
pacman -S texinfo
libffi/doc/libffi.info used to be in the repository so there was no need
to build it. I committed a change on 23rd June that removed it since it
appeared to be an output, at least when built on Linux. To be honest
there doesn't seem to be any reason to include the documentation in the
version of libffi that we include with Poly/ML. It does seem to be
overkill to have to install texinfo. I hadn't noticed the problem
because I seem to have texinfo somewhere else. It may be simplest just
to restore libffi.info.
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml