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@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@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@clip.dia.fi.upm.es
http://clip.dia.fi.upm.es/cgi-bin/mailman/listinfo/ciao-users

--
Jose

--
Jose