Hi Remy,
On 22/05/2012, at 13:42, Remy Haemmerle wrote:
Dear Daniel,
Thanks you for reporting the problem.
In fact, the MacOS package has not been properly generated and does not install properly the info files.
If you want to use the version 1.14.2, you will have to run the following command in you terminal:
sudo install-info --info-dir=/usr/local/share/info /usr/local/share \ /info/ciao-1.14.2.info
Nonetheless, we invite you to use the latest development version (revision >= 14703) which will perform the installation properly. It is available on the Ciao website:
http://www.ciaohome.org/download_latest.html.
Note we will soon release a new stable version (Ciao 1.16.0) which will include all changes from the current development version.
Sorry to hijack the thread but... it would be nice if the next stable release finally provided support for ISO Prolog standard stream aliases.
Cheers,
Paulo
----------------------------------------------------------------- Paulo Jorge Lopes de Moura, PhD Assistant Professor Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal
Office 3.18 Ext. 3276 Phone: +351 275 242081 Fax: +351 275 319899 Email: mailto:pmoura(a)di.ubi.pt
Home page: http://www.di.ubi.pt/~pmoura Research: http://logtalk.org/ Blog: http://blog.logtalk.org/ -----------------------------------------------------------------