I'm trying to compile ciao using cygwin and gcc 3.2 but when ciaoc runs I get the following
*** --------------------------------------------------------- cd ciaoc && make compiler make[2]: Entering directory `/opt/ciao/src/ciao-1.9p34/ciaoc' cp -f ciaoc /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine CIAOLIB=/opt/ciao/src/ciao-1.9p34 /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc.sta -s -x ciaoc ERROR: File library(compiler/header) not found - aborting... CIAOENGINE=/opt/ciao/src/ciao-1.9p34/bin/Win32i86/ciaoengine CIAOLIB=/opt/ciao/src/ciao-1.9p34 /opt/ciao/src/ciao-1.9p34/ciaoc/ciaoc -s -x gen_asr
{ERROR: segmentation violation} {ERROR: segmentation violation} {ERROR: segmentation violation} ....
Is it a ciao's problem or a cygwin's???
I am afraid it is Ciao's. Ciao Prolog does not bootstrap straightforwardly on a Windows/Cygwin machine (at the moment). Only the bytecode emulator and ancillary libraries are natively compiled for Windows, and linked statically in a single executable. The rest of the (Prolog/bytecode) code is platform-independent, and does not need to be compiled in the same target architecture as the emulator. We usually provide a Windows binary version in the distribution site; I have just updated it to include snapshots for the current (development) release (1.9p44).
If you want to fiddle around with the sources (lots of fun there!), it is probably better at this moment that you (a) use a Linux/Unix/Mac OS X box, or (b) get to grips with compiling in Windows (and send us the patches!). (a) is probably the easiest, but (b) will make many people happy and it will ensure you a place in our Hall of Fame [this, is, of course an open invitation]. We will of course be happy to collaborate in accomplishing (b).
Good New Year's Eve to everybody!
MCL
_________________________________ Exceptions should be exceptional. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------