Ciao-users December 2002

ciao-users@cliplab.org

5 participants
5 discussions

Re: compiling ciao in cygwin
by Manuel Carro 22 Jan '03

22 Jan '03

>> 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/ -----------------------------------------------------------------------------

3 2

compiling ciao in cygwin
by Jose 15 Jan '03

15 Jan '03

Hi 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've tried with 1.8 and 1.9 obtaininng the same result. José Antonio Cuesta Corpa ___________________________________________________ Yahoo! Postales Felicita las Navidades con las postales más divertidas desde http://postales.yahoo.es ============================================================================== 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/ -----------------------------------------------------------------------------

6 5

Re: stand alone Exe's
by Oscar Portela Arjona 03 Dec '02

03 Dec '02

> I made the .pl file into a ciao compiled .cpx file using the 'Make > Executable' option from Explorer, which I have always thought of as a > replacement for an .exe. No, it's more like a script calling the Ciao engine... > If I try and run this .cpx file on another machine it seams to require > ciao to be installed. > Is this the case or is there another form of compilation needed? Yes, as the script requires the Ciao engine to be present, it would, at first, require the system to be installed. However, there is a way to avoid that need for installation, allowing to distribute Ciao programs developed on Windows (Unix stand alone executables actually work by means of the -S flag on compilation). The steps to follow are: 1. Compile the Ciao program with -s option. This comprises the libraries and other modules in the .cpx program file. 2. Create a .bat file with the following lines: @SET CIAOLIB=.\ @"ciaoengine.exe" %* -C -i -b "program" where program is the .cpx file name. 3. put the following files in the directory where the .cpx and .bat files are: sh.exe cygwin1.dll ciaoengine.exe (These files are in Win32/bin/ directory of any Ciao distribution for Windows). The procedure to install the program in a Windows machine is just to copy the previous files in any directory, and run the batch file. There is no need to change the registry. Greets. -- Oscar Portela Arjona portela(a)grupobbva.net ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

stand alone Exe's
by Jason Davis 03 Dec '02

03 Dec '02

Hi There All, I have used ciao for a little while now and have always run my program on the machine where it was developed. I made the .pl file into a ciao compiled .cpx file using the 'Make Executable' option from Explorer, which I have always thought of as a replacement for an .exe. If I try and run this .cpx file on another machine it seams to require ciao to be installed. Is this the case or is there another form of compilation needed? Regards, Jason. ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

Research positions at Roskilde University, Denmark
by John Gallagher 02 Dec '02

02 Dec '02

The following fully-funded PhD position is available. PhD Scholarship in Computer Science: Specialization and Analysis Techniques for Pervasive Systems The Department of Communication, Journalism and Computer Science at Roskilde University (RUC) hereby seeks applicants for a PhD scholarship in Computer Science starting as soon as possible. The scholarship is jointly financed by RUC and the European Commission. The PhD student will be associated with the EC-funded research project ASAP: Advanced Specialization and Analysis for Pervasive Systems. For further information about the position, please contact Professor John Gallagher, Tel. +45 4674 2196, email jpg(a)ruc.dk. The application must be based on the full announcement which is found on: http://www.ruc.dk/ruc_en/about/Positions/phdasap Terms of appointment and salary will be according to the agreement between the Ministry of Finance and the Danish Confederation of Professional Associations. Deadline for applications: 19 December 2002 at 12.00. There are also possibilities for post-doctoral research positions. Please contact Professor John Gallagher Tel. +45 4674 2196, email jpg(a)ruc.dk. ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users December 2002