Thomas De Contes writes:

...

hello

how to compile ciao under mac os x ?

It is explained in the manual under the title "Installing Ciao from the source distribution". You can access online to it at

http://www.clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_204.html

The instructions are the same as for a Unix installation. There are special notes for Mac OS X users.

Best,

MCL

______________________________________ Oh, no, those damned melodies again...