Ciao-users January 2003

ciao-users@cliplab.org

7 participants
5 discussions

Re: Ciao Prolog's tarball and Solaris 8's "tar" command
by Bill McEnaney 24 Jan '03

24 Jan '03

Hi, Kirill, I, too, have found some packages that tell people to use GNU tar instead Solaris's tar. So I'll keep running GNU tar. Something strange happened when I tried to build the current version of Ciao. Ld complained that in some program or other, "setenv" was an undefined symbol. Maybe I made a mistake when I tried to build Ciao. But I don't know why ld would try to link a program to a csh command. What went wrong? Cheers, Bill > > Hello, Kirill, > > Thanks for your letter. It's a good idea to discourage the use of > Solaris's tar command. But this is the first time I've had trouble with > it. Maybe Solaris 9's tar works properly on the Ciao tarball? > > Bill > > > > Hello Bill, > > > > AFAIK, there is a problem with Solaris' tar. I've seen a couple of other > > packages explicitly stating that their tarballs should be unarchived > > using GNU tar, and not the Solaris' one. > > > > To Almighty Maintainers: would it worth to explicitly discourage the use > > of Solaris' tar? > > > > Cheers, > > Kirill > > > > Bill McEnaney wrote: > > > Hi, Everybody, > > > > > > My name is "Bill." I thought you might want to hear about a problem I > > > had tonight when I tried to untar the Ciao Prolog tarball on my > > > Sunblade 100 Workstation. Solaris 8's tar command will complain about > > > a directory checksum error if you try to untar Ciao Prolog's tarball > > > with it. But GNU tar will untar that tarball without complainng. > > > Just thought the information would help if you'll install Ciao on a > > > Solaris 8 box. > > > > > > Bill > > > > > > _______________________________________________________ > > > It is as much a crime to disturb the peace when truth prevails as it is > > > a crime to keep the peace when truth is violated. There is therefore a > > > time in which peace is justified and another time when it is not > > > justifiable -- Blaise Pascal > > > _______________________________________________________ > It is as much a crime to disturb the peace when truth prevails as it is > a crime to keep the peace when truth is violated. There is therefore a > time in which peace is justified and another time when it is not > justifiable -- Blaise Pascal > ============================================================================== > 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/ > ----------------------------------------------------------------------------- > > _______________________________________________________ It is as much a crime to disturb the peace when truth prevails as it is a crime to keep the peace when truth is violated. There is therefore a time in which peace is justified and another time when it is not justifiable -- Blaise Pascal ============================================================================== 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

Re: Ciao Prolog's tarball and Solaris 8's "tar" command
by Bill McEnaney 23 Jan '03

23 Jan '03

Hello, Kirill, Thanks for your letter. It's a good idea to discourage the use of Solaris's tar command. But this is the first time I've had trouble with it. Maybe Solaris 9's tar works properly on the Ciao tarball? Bill > > Hello Bill, > > AFAIK, there is a problem with Solaris' tar. I've seen a couple of other > packages explicitly stating that their tarballs should be unarchived > using GNU tar, and not the Solaris' one. > > To Almighty Maintainers: would it worth to explicitly discourage the use > of Solaris' tar? > > Cheers, > Kirill > > Bill McEnaney wrote: > > Hi, Everybody, > > > > My name is "Bill." I thought you might want to hear about a problem I > > had tonight when I tried to untar the Ciao Prolog tarball on my > > Sunblade 100 Workstation. Solaris 8's tar command will complain about > > a directory checksum error if you try to untar Ciao Prolog's tarball > > with it. But GNU tar will untar that tarball without complainng. > > Just thought the information would help if you'll install Ciao on a > > Solaris 8 box. > > > > Bill > > > > _______________________________________________________ > > It is as much a crime to disturb the peace when truth prevails as it is > > a crime to keep the peace when truth is violated. There is therefore a > > time in which peace is justified and another time when it is not > > justifiable -- Blaise Pascal > _______________________________________________________ It is as much a crime to disturb the peace when truth prevails as it is a crime to keep the peace when truth is violated. There is therefore a time in which peace is justified and another time when it is not justifiable -- Blaise Pascal ============================================================================== 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

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

Ciao Prolog's tarball and Solaris 8's "tar" command
by Bill McEnaney 21 Jan '03

21 Jan '03

Hi, Everybody, My name is "Bill." I thought you might want to hear about a problem I had tonight when I tried to untar the Ciao Prolog tarball on my Sunblade 100 Workstation. Solaris 8's tar command will complain about a directory checksum error if you try to untar Ciao Prolog's tarball with it. But GNU tar will untar that tarball without complainng. Just thought the information would help if you'll install Ciao on a Solaris 8 box. Bill _______________________________________________________ It is as much a crime to disturb the peace when truth prevails as it is a crime to keep the peace when truth is violated. There is therefore a time in which peace is justified and another time when it is not justifiable -- Blaise Pascal ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

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

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 January 2003