Dear Alejandro,
The file plserver.bat is a wrapper for executing the 'plserver' Ciao bytecode executable from Windows. For Mac (like any other Unix system) it would be enough to recompile 'plserver' (if not done before).
Cheers,
On Fri, Oct 23, 2015 at 11:17 AM, Jose F. Morales <jfmcjf(a)gmail.com> wrote:
Dear Alejandro,
The file plserver.bat is a wrapper for executing the 'plserver' Ciao bytecode executable from Windows. For Mac (like any other Unix system) it would be enough to recompile 'plserver' (if not done before).
Cheers,
On Fri, Oct 23, 2015 at 7:33 AM, alejandro hernandez munuera < hernimunuera(a)hotmail.com> wrote:
Hi,
I am having some problems using the plserver in my computer. The point is that the paths defined in plserver.bat in order to find the file ciaoengine.exe doesn't work. Could you tell me where is ciaoengine.exe usually in a mac computer and if it has the same name?.
Cheers
Ciao-users mailing list Ciao-users(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users
-- Jose
-- Jose