Ciao-users October 2002

ciao-users@cliplab.org

3 participants
2 discussions

Ciao Icon
by John O'Gorman 13 Oct '02

13 Oct '02

Hi Is there an icon (.xpm, .gif) favoured by the developers for Ciao Prolog. I would like to add a launcher for Prolog and Prolog applicactions to Redhat 7.3 Gnome desktops and SuSE KDE desktops John O'Gorman ============================================================================== 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

Solaris environment, compile problems, setenv() and friends
by Vasilios Hoffman 02 Oct '02

02 Oct '02

Hi, Sorry to bother you folks, but I'm building ciao-1.8p2 on a solaris/sparc 5.7 platform with gcc 2.95.3, and there is a surprising error. The make fails because of the following error: gcc wam.o format.o inout.o misc.o startgoal.o ciao.o nondet.o objareas.o streams.o timing.o wambuiltin.o wamfunction.o unix_utils.o attr.o dynlink.o tasks.o locks.o prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o initial.o registers.o stacks.o support.o term_support.o wamsupport.o qread.o qget.o builtin.o interrupt.o gauge.o bignum.o profile.o ciao_prolog.o start.o version.o sockets_c.o random.o main.o -ldl -lm -lnsl -lpthread -lrt -lsocket -o ciaoengine Undefined first referenced symbol in file setenv unix_utils.o ld: fatal: Symbol referencing errors. No output written to ciaoengine which is definately because unix_utils.c is using setenv() -- and that's not present in solaris C libraries (at least through solaris 8, I haven't checked solaris 9). It's not present in a lot of C libraries, so I'm very surprised that it's used when it is detecting a "SolarisSparc" system -- which it does, btw, for example: if test ! -d /usr/local/src/ciao-1.8p2/bin/SolarisSparc ; then \ mkdir /usr/local/src/ciao-1.8p2/bin/SolarisSparc ; chmod 775 /usr/local/src/ciao-1.8p2/bin/SolarisSparc ; fi make[2]: Leaving directory `/usr/local/src/ciao-1.8p2' cd /usr/local/src/ciao-1.8p2/bin/SolarisSparc && \ ln -s ../../engine/*.[ch] . && \ ln -s ../../engine/Makefile . && \ rm -f configure.h make createincludedir is right in the beginning of the output of make. So, any ideas? All I did was edit SETTINGS and run make. The system is fairly gnu-ified, and it is used for compiling a diverse assortment of things, so most tools are there and/or fairly up-to-date (gcc2.95.3 versus newer gcc3+ is a topic for another day). If there's some patch I need, or something I need to edit, please let me know! I don't want to mess around any more, because it's such an obvious bug that I have to believe it's something stupid on my end... Thanks, -V Hoffman Vasilios Hoffman Junior Unix Administrator Wesleyan University voice (860) 685-3142 fax (860) 685-2401 ============================================================================== 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 3

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 October 2002