On 2006/05/08, at 07:00, ciao(a)clip.dia.fi.upm.es wrote:
we have put in the Ciao webpage (http://www.clip.dia.fi.upm.es/Software/Ciao/) a new patch (patch 7) to Ciao 1.10. This corrects the behavior of Ciao in some modern Linux kernels, where memory management has changed somewhat, affecting Ciao (and also other applications). Some users may have experienced "segmentation violation" messages on startup due to this. We hope these problems are solved with the update. Please let us know of any problem you may find.
I've tried to compile ciao-1.10p7 on an Intel Mac. The compilation fails as there is no definition for the environment variable CIAOARCH. I don't recall defining this variable by hand in previous Ciao versions. There is also no mention of this variable in the SETTINGS file. Your help is appreciated.
Cheers,
Paulo
----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilhã, Portugal
Office 4.3 Ext. 3257 Phone: +351 275319891 Fax: +351 275319899 Email: mailto:pmoura(a)di.ubi.pt
Home page: http://www.di.ubi.pt/~pmoura Research: http://logtalk.org/ -----------------------------------------------------------------
============================================================================== 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/ -----------------------------------------------------------------------------