Ciao-users September 2006

ciao-users@cliplab.org

10 participants
10 discussions

Re: [CIAO] Re: Re: Using ciaosh (new user question)
by ciao＠clip.dia.fi.upm.es 26 Sep '06

26 Sep '06

> You mentioned that you had eclipse bindings in the earlier e-mail. > Do you have anything for vim users? Nothing for vim natively (perhaps someone out there has done it, though). Btw, emacs has a vi emulation mode (M-x vi-mode). There are also packages avalable for Eclipse to emulate emacs bindings, and ther may also exist vi bindings. -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | University of New Mexico http://www.cliplab.org / http://www.ciaohome.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/ -----------------------------------------------------------------------------

1 0

[CIAO] Re: Re: Using ciaosh (new user question)
by agadani＠gmail.com 26 Sep '06

26 Sep '06

On 9/25/06, ciao(a)clip.dia.fi.upm.es <ciao(a)clip.dia.fi.upm.es> wrote: > > > not having luck doing the simplest commands at the prompt, and the > > answer wasn't in the smaller of the docs. > > As mentioned in the general message, we need more data to answer the > question. What exactly do you get? Can you send us the output? Actually.. I found my error. I'm on an intelMac, and had edited the configuration files differently than the method I found recently discussed in the archives. Now that I've deleted and re-built ciao, it works fine. (previously: ?- write(foo). {ERROR: user:write/1 - undefined predicate} ) You mentioned that you had eclipse bindings in the earlier e-mail. Do you have anything for vim users? Thanks, -- Avani > > -- > ----------------------- The Ciao System Development Team -------------------- > The CLIP Group | Technical University of Madrid > ciao(a)clip.dia.fi.upm.es | University of New Mexico > http://www.cliplab.org / http://www.ciaohome.org > ----------------------------------------------------------------------------- > > -- It is forbidden to kill; Therefore all murderers are punished unless they kill in large numbers and to the sound of trumpets. -- Voltaire -- ----------------------- The Ciao System Development Team -------------------- The CLIP Group | Technical University of Madrid ciao(a)clip.dia.fi.upm.es | University of New Mexico http://www.cliplab.org / http://www.ciaohome.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/ -----------------------------------------------------------------------------

1 0

Re: factsdb problem
by Umur Ozkul 26 Sep '06

26 Sep '06

[Sorry about the previous ciao-users email: something went wrong and an ill-formed message was delivered.] I tried to use examples in factsdb/examples. For example factsdb/examples/fib.pl Calling fib(0, N) simply produces ERROR:factsbd_tr:call/1 unknown_symbolic_name(fib0db) ERROR:factsbd_tr:call/1 unknown_call($:(user:fib0(0,_306))) So far I failed to use cached predicates. I am using ciao-1.10p7 -- Umur Ozkul Realworld OO Systems mobile: +31 611 122 366 skype: umurozkul google talk: umur.ozkul msn: umur(a)hotmail.com ============================================================================== 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: factsdb problem
by Umur Ozkul 26 Sep '06

26 Sep '06

I tried to use examples in factsdb/examples. For example factsdb/examples/fib.pl Calling fib(0, N) simply produces ERROR:factsbd_tr:call/1 unknown_symbolic_name(fib0db) ERROR:factsbd_tr:call/1 unknown_call($:(user:fib0(0,_306))) So far I failed to use cached predicates. I am using ciao-1.10p7 -- Umur Ozkul Realworld OO Systems mobile: +31 611 122 366 skype: umurozkul google talk: umur.ozkul msn: umur(a)hotmail.com

1 0

Using ciaosh (new user question)
by Avani (અવની) 25 Sep '06

25 Sep '06

Hi, I was wondering if there were any special tricks to using ciao from the interpreter. I'd like to avoid Emacs if at all possible, but I'm not having luck doing the simplest commands at the prompt, and the answer wasn't in the smaller of the docs. Thanks! -- Avani -- It is forbidden to kill; Therefore all murderers are punished unless they kill in large numbers and to the sound of trumpets. -- Voltaire ============================================================================== 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

None
by srinivasan.v＠jiit.ac.in 20 Sep '06

20 Sep '06

Hi, I am trying to use the write command in the following way for instructional purposes but am getting an error. Please let me know the solution. Thanks, Srini. -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ?- greet(hamish):- write('How are you doin, pal?'). greet(amelia):- write('Awfully nice to see you!'). {SYNTAX ERROR: (lns 88-91) , or ) expected in arguments greet( hamish ) :- write( How are you doin, pal?'). greet(amelia):- write( ** here ** Awfully nice to see you ! ) . } no ?- ============================================================================== 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

I am trying to port Ciao on MAC 10.4.7
by Philseong Chun 20 Sep '06

20 Sep '06

Hi, I am trying to install Ciao system to itel-based MAC. after running ciao_get_arch , the arch of my system is SCO. what is meaning of SCO? And I would like to know how to install on my system. please answer me soon. best regards, ============================================================================== 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

None
by Josh Berdine 11 Sep '06

11 Sep '06

------_=_NextPart_001_01C6D21A.9BF11EE5 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Hi, =20 I'm having trouble compiling from source on windows. A script follows, am I missing something? Note that the Makefile didn't work out of the box for me, and I had to guess a change. Still no dice, but further along. =20 Also, is it known what version of cygwin1.dll is required by ciao? I'm trying to install on a machine with a pretty old cygwin that needs to stay that way. =20 Thanks for any help / advice. =20 Cheers, Josh =20 =20 $ tar zxf ciao-1.10p7.tar.gz =20 $ cd ciao-1.10p7 =20 $ emacs SETTINGS =20 $ make allwin32 make: *** No rule to make target `engwin32', needed by `allwin32'. Stop. =20 $ emacs Makefile =20 $ diff Makefile Makefile~ 82c82 < allwin32: engine compiler applications libraries --- > allwin32: engwin32 compiler applications libraries =20 $ make allwin32 if test ! -d /cygdrive/c/Temp/ciao-1.10p7/bin ; then \ mkdir /cygdrive/c/Temp/ciao-1.10p7/bin ; \ touch /cygdrive/c/Temp/ciao-1.10p7/bin/NODISTRIBUTE ; \ chmod 775 /cygdrive/c/Temp/ciao-1.10p7/bin ; \ chmod 664 /cygdrive/c/Temp/ciao-1.10p7/bin/NODISTRIBUTE ; \ fi if test ! -d /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86 ; then \ mkdir /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86 ; chmod 775 /cygdrive/ c/Temp/ciao-1.10p7/bin/Win32i86 ; fi cd engine && for File in *.[ch] Makefile ; \ do if [ ! -f /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} -o ${File } -nt /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} ]; \ then rm -f /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} ; cp $ {File} /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} ; \ fi ; \ done ; make createincludedir make[1]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7' if test ! -d /cygdrive/c/Temp/ciao-1.10p7/include ; then \ mkdir /cygdrive/c/Temp/ciao-1.10p7/include ; \ chmod 775 /cygdrive/c/Temp/ciao-1.10p7/include ; \ touch /cygdrive/c/Temp/ciao-1.10p7/include/NODISTRIBUTE ; fi if test ! -d /cygdrive/c/Temp/ciao-1.10p7/include/Win32i86 ; then \ mkdir /cygdrive/c/Temp/ciao-1.10p7/include/Win32i86 ; chmod 775 /cygdr ive/c/Temp/ciao-1.10p7/include/Win32i86 ; fi make[1]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7' *** --------------------------------------------------------- *** Compiling ciao engine for Win32i86... *** --------------------------------------------------------- make -j1 version-ciao make[1]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7' rm -f /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/version.c chmod 664 /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/version.c make[1]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7' make -j1 dostateng make[1]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7' (umask 002 && cd /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86 && make configure.h & & \ make -j1 ciaoengine.exe ADDOBJ=3D'sockets_c.o random.o ' \ CURRLIBS=3D' ') make[2]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86' gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -static -o configure configure.c /bin/rm -f configure.h ./configure "-O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -fali gn-jumps=3D2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG" > configure.h make[2]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86' make[2]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86' gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o wa m.o wam.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o fo rmat.o format.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o in out.o inout.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o mi sc.o misc.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o st artgoal.o startgoal.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ci ao.o ciao.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o no ndet.o nondet.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ob jareas.o objareas.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o st reams.o streams.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ti ming.o timing.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o wa mbuiltin.o wambuiltin.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o wa mfunction.o wamfunction.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o un ix_utils.o unix_utils.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o at tr.o attr.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o dy nlink.o dynlink.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ta sks.o tasks.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o lo cks.o locks.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o pr olog_tasks.o prolog_tasks.c prolog_tasks.c: In function `prolog_eng_call': prolog_tasks.c:267: warning: passing arg 3 of `CreateThread' from incompatible p ointer type prolog_tasks.c: In function `prolog_eng_backtrack': prolog_tasks.c:337: warning: passing arg 3 of `CreateThread' from incompatible p ointer type gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ow n_malloc_linear.o own_malloc_linear.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o al loc.o alloc.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o he apgc.o heapgc.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o in dexing.o indexing.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o in itial.o initial.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o re gisters.o registers.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o st acks.o stacks.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o su pport.o support.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o te rm_support.o term_support.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o wa msupport.o wamsupport.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o qr ead.o qread.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o qg et.o qget.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o bu iltin.o builtin.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o in terrupt.o interrupt.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ga uge.o gauge.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o bi gnum.o bignum.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o pr ofile.o profile.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o fl oat_consts.o float_consts.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o fl oat_tostr.o float_tostr.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ci ao_prolog.o ciao_prolog.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o st art.o start.c gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ve rsion.o version.c cd ../../library/sockets && make sockets_c_Win32i86.o make[3]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7/library/sockets' /bin/rm -f common_headers.h echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/datadefs.h\" > common _headers.h echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/support.h\" >> common _headers.h echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/support_defs.h\" >> c ommon_headers.h echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/stacks_defs.h\" >> co mmon_headers.h chmod 664 common_headers.h gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -shared -c sockets_c.c -o sockets_c_Win32i86.o chmod 664 sockets_c_Win32i86.o make[3]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7/library/sockets' cp ../../library/sockets/sockets_c_Win32i86.o ./sockets_c.o cd ../../library/random && make random_Win32i86.o make[3]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7/library/random' /bin/rm -f common_headers.h echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/datadefs.h\" > common _headers.h echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/support.h\" >> common _headers.h chmod 664 common_headers.h gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -shared -c random.c -o random_Win32i86.o chmod 664 random_Win32i86.o make[3]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7/library/random' cp ../../library/random/random_Win32i86.o ./random.o gcc -O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 -falign-jumps=3D 2 -falign-functions=3D2 -DATOMGC -DTHREADS -DWin32 -Di86 -DSTATICENG -c -o ma in.o main.c gcc -static 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 ta sks.o locks.o prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o ini tial.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 float_consts.o float_tostr.o c iao_prolog.o start.o version.o sockets_c.o random.o main.o -o ciaoengine.exe chmod 664 *.o chgrp mkgroup-l-d *.o ( cd /cygdrive/c/Temp/ciao-1.10p7/etc && make force_fix_size; ) make[3]: Entering directory `/cygdrive/c/Temp/ciao-1.10p7/etc' gcc -o fix_size fix_size.c make[3]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7/etc' /cygdrive/c/Temp/ciao-1.10p7/etc/fix_size.exe ciaoengine.exe chmod 775 ciaoengine.exe chgrp mkgroup-l-d ciaoengine.exe if test ! -f /cygdrive/c/Temp/ciao-1.10p7/include/Win32i86/configure.h ; then \ for f in datadefs.h configure.h alloc.h registers.h termdefs.h access. h locks.h objareas.h support.h debug.h initial.h compat.h ciao_prolog.h ciao_glu ecode.h threads.h task_areas.h ; do \ ln -f -s /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/$f /cygdrive/c/Te mp/ciao-1.10p7/include/Win32i86; \ done ; \ fi true make[2]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86' cp /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/ciaoengine.exe /cygdrive/c/Temp/cia o-1.10p7/bin/Win32i86/ciaoengine.exe.sta make[1]: Leaving directory `/cygdrive/c/Temp/ciao-1.10p7' CIAOALIASPATH=3D"" CIAOENGINE=3D/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/ciaoengine CIAOLIB=3D/cygdrive/c/Temp/ciao-1.10p7 /cygdrive/c/Temp/ciao-1.10p7/ciaoc/ciaoc Win32/setup_bat ERROR: File library(compiler/header) not found - aborting... CIAOALIASPATH=3D"" CIAOENGINE=3D/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/ciaoengine CIAOLIB=3D/cygdrive/c/Temp/ciao-1.10p7 Win32/setup_bat \"/cygdrive/c/Temp/ciao-1 .10p7/bin/Win32i86/ciaoengine.exe\" /bin/sh: Win32/setup_bat: No such file or directory make: *** [dowindowsbat] Error 127 =20 $ ------_=_NextPart_001_01C6D21A.9BF11EE5 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable <html xmlns:o=3D"urn:schemas-microsoft-com:office:office" = xmlns:w=3D"urn:schemas-microsoft-com:office:word" = xmlns=3D"http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=3DContent-Type content=3D"text/html; = charset=3Dus-ascii"> <meta name=3DGenerator content=3D"Microsoft Word 11 (filtered medium)"> <style>  </style> </head> <body lang=3DEN-GB link=3Dblue vlink=3Dpurple> <div class=3DSection1> Hi,<o:p></o:p> <o:p> </o:p> I’m having trouble compiling from source = on windows.  A script follows, am I missing something?  Note that = the Makefile didn’t work out of the box for me, and I had to guess a = change.  Still no dice, but further along.<o:p></o:p> <o:p> </o:p> Also, is it known what version of cygwin1.dll = is required by ciao?  I’m trying to install on a machine with a = pretty old cygwin that needs to stay that way.<o:p></o:p> <o:p> </o:p> Thanks for any help / = advice.<o:p></o:p> <o:p> </o:p> Cheers,  = Josh<o:p></o:p> <o:p> </o:p> <o:p> </o:p> $ tar zxf = ciao-1.10p7.tar.gz<o:p></o:p> <o:p> </o:p> $ cd = ciao-1.10p7<o:p></o:p> <o:p> </o:p> $ emacs = SETTINGS<o:p></o:p> <o:p> </o:p> $ make = allwin32<o:p></o:p> make: *** No rule to = make target `engwin32', needed by `allwin32'.  = Stop.<o:p></o:p> <o:p> </o:p> $ emacs = Makefile<o:p></o:p> <o:p> </o:p> $ diff Makefile = Makefile~<o:p></o:p> 82c82<o:p></o:p> < allwin32: = engine compiler applications libraries<o:p></o:p> ---<o:p></o:p> > allwin32: = engwin32 compiler applications libraries<o:p></o:p> <o:p> </o:p> $ make = allwin32<o:p></o:p> if test ! -d /cygdrive/c/Temp/ciao-1.10p7/bin ; then \<o:p></o:p>           mkdir /cygdrive/c/Temp/ciao-1.10p7/bin ; \<o:p></o:p>           touch /cygdrive/c/Temp/ciao-1.10p7/bin/NODISTRIBUTE ; = \<o:p></o:p>           chmod 775 /cygdrive/c/Temp/ciao-1.10p7/bin ; = \<o:p></o:p>           chmod 664 /cygdrive/c/Temp/ciao-1.10p7/bin/NODISTRIBUTE ; = \<o:p></o:p>         fi<o:p></o:p> if test ! -d /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86 ; then = \<o:p></o:p>           mkdir /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86 ; chmod 775 = /cygdrive/<o:p></o:p> c/Temp/ciao-1.10p7/bin/Win32i86 ; fi<o:p></o:p> cd engine && = for File in *.[ch] Makefile ; \<o:p></o:p>         do if [ ! -f /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} -o = ${File<o:p></o:p> } -nt /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} ]; = \<o:p></o:p>            =   then rm -f /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} ; cp = $<o:p></o:p> {File} /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/${File} ; = \<o:p></o:p>            fi ; \<o:p></o:p>         done ;<o:p></o:p> make = createincludedir<o:p></o:p> make[1]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7'<o:p></o:p> if test ! -d /cygdrive/c/Temp/ciao-1.10p7/include ; then = \<o:p></o:p>           mkdir /cygdrive/c/Temp/ciao-1.10p7/include ; = \<o:p></o:p>           chmod 775 /cygdrive/c/Temp/ciao-1.10p7/include ; = \<o:p></o:p>           touch /cygdrive/c/Temp/ciao-1.10p7/include/NODISTRIBUTE ; = fi<o:p></o:p> if test ! -d /cygdrive/c/Temp/ciao-1.10p7/include/Win32i86 ; then = \<o:p></o:p>           mkdir /cygdrive/c/Temp/ciao-1.10p7/include/Win32i86 ; chmod 775 = /cygdr<o:p></o:p> ive/c/Temp/ciao-1.10p7/include/Win32i86 ; fi<o:p></o:p> make[1]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7'<o:p></o:p> *** ---------------------------------------------------------<o:p></o:p></spa= n> *** Compiling ciao = engine for Win32i86...<o:p></o:p> *** ---------------------------------------------------------<o:p></o:p></spa= n> make -j1 = version-ciao<o:p></o:p> make[1]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7'<o:p></o:p> rm -f /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/version.c<o:p></o:p></fo= nt> chmod 664 = /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/version.c<o:p></o:p></fo= nt> make[1]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7'<o:p></o:p> make -j1 = dostateng<o:p></o:p> make[1]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7'<o:p></o:p> (umask 002 = && cd /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86 && make configure.h = &<o:p></o:p> & = \<o:p></o:p>          make -j1 ciaoengine.exe ADDOBJ=3D'sockets_c.o random.o ' = \<o:p></o:p>         CURRLIBS=3D' ')<o:p></o:p> make[2]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86'<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   -DSTATICENG -static = -o<o:p></o:p>  configure = configure.c<o:p></o:p> /bin/rm -f = configure.h<o:p></o:p> ./configure = "-O2 -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -fali<o:p></o:p> gn-jumps=3D2 -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   -DSTATICENG"<o:p></o:p> > = configure.h<o:p></o:p> make[2]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86'<o:p></o:p> make[2]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86'<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o wa<o:p></o:p> m.o = wam.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o fo<o:p></o:p> rmat.o = format.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o in<o:p></o:p> out.o = inout.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o mi<o:p></o:p> sc.o = misc.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o st<o:p></o:p> artgoal.o = startgoal.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ci<o:p></o:p> ao.o = ciao.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o no<o:p></o:p> ndet.o = nondet.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ob<o:p></o:p> jareas.o = objareas.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o st<o:p></o:p> reams.o = streams.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ti<o:p></o:p> ming.o = timing.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o wa<o:p></o:p> mbuiltin.o = wambuiltin.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o wa<o:p></o:p> mfunction.o = wamfunction.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o un<o:p></o:p> ix_utils.o = unix_utils.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o at<o:p></o:p> tr.o = attr.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o dy<o:p></o:p> nlink.o = dynlink.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ta<o:p></o:p> sks.o = tasks.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o lo<o:p></o:p> cks.o = locks.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o pr<o:p></o:p> olog_tasks.o = prolog_tasks.c<o:p></o:p> prolog_tasks.c: In = function `prolog_eng_call':<o:p></o:p> prolog_tasks.c:267: = warning: passing arg 3 of `CreateThread' from incompatible = p<o:p></o:p> ointer = type<o:p></o:p> prolog_tasks.c: In = function `prolog_eng_backtrack':<o:p></o:p> prolog_tasks.c:337: = warning: passing arg 3 of `CreateThread' from incompatible = p<o:p></o:p> ointer = type<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ow<o:p></o:p> n_malloc_linear.o own_malloc_linear.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86 =   -DSTATICENG   -c -o al<o:p></o:p> loc.o = alloc.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o he<o:p></o:p> apgc.o = heapgc.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o in<o:p></o:p> dexing.o = indexing.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o in<o:p></o:p> itial.o = initial.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o re<o:p></o:p> gisters.o = registers.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o st<o:p></o:p> acks.o = stacks.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o su<o:p></o:p> pport.o = support.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o te<o:p></o:p> rm_support.o = term_support.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o wa<o:p></o:p> msupport.o = wamsupport.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o qr<o:p></o:p> ead.o = qread.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o qg<o:p></o:p> et.o = qget.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o bu<o:p></o:p> iltin.o = builtin.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o in<o:p></o:p> terrupt.o = interrupt.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ga<o:p></o:p> uge.o = gauge.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o bi<o:p></o:p> gnum.o = bignum.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o pr<o:p></o:p> ofile.o = profile.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o fl<o:p></o:p> oat_consts.o = float_consts.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o fl<o:p></o:p> oat_tostr.o = float_tostr.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ci<o:p></o:p> ao_prolog.o = ciao_prolog.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o st<o:p></o:p> art.o = start.c<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ve<o:p></o:p> rsion.o = version.c<o:p></o:p> cd = ../../library/sockets && make sockets_c_Win32i86.o<o:p></o:p> make[3]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7/library/sockets'<o:p></o:p></= p> /bin/rm -f  common_headers.h<o:p></o:p> echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/datadefs.h\" > = common<o:p></o:p> _headers.h<o:p></o:p> echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/support.h\" = >> common<o:p></o:p> _headers.h<o:p></o:p> echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/support_defs.h\" = >> c<o:p></o:p> ommon_headers.h<o:p></o:p> echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/stacks_defs.h\" = >> co<o:p></o:p> mmon_headers.h<o:p></o:p> chmod 664 = common_headers.h<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   -DSTATICENG -shared = -c<o:p></o:p>  sockets_c.c -o sockets_c_Win32i86.o<o:p></o:p> chmod 664 sockets_c_Win32i86.o<o:p></o:p> make[3]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7/library/sockets'<o:p></o:p></= p> cp = ../../library/sockets/sockets_c_Win32i86.o ./sockets_c.o<o:p></o:p> cd = ../../library/random && make random_Win32i86.o<o:p></o:p> make[3]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7/library/random'<o:p></o:p></p= > /bin/rm -f  common_headers.h<o:p></o:p> echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/datadefs.h\" > = common<o:p></o:p> _headers.h<o:p></o:p> echo \#include \"/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/support.h\" = >> common<o:p></o:p> _headers.h<o:p></o:p> chmod 664 = common_headers.h<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   -DSTATICENG -shared = -c<o:p></o:p>  random.c -o random_Win32i86.o<o:p></o:p> chmod 664 = random_Win32i86.o<o:p></o:p> make[3]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7/library/random'<o:p></o:p></p= > cp = ../../library/random/random_Win32i86.o ./random.o<o:p></o:p> gcc -O2 = -fno-strict-aliasing -fomit-frame-pointer -falign-loops=3D2 = -falign-jumps=3D<o:p></o:p> 2 = -falign-functions=3D2 -DATOMGC -DTHREADS  -DWin32 -Di86   = -DSTATICENG   -c -o ma<o:p></o:p> in.o = main.c<o:p></o:p> gcc  -static = wam.o format.o inout.o misc.o startgoal.o ciao.o nondet.o = objareas.<o:p></o:p> o streams.o timing.o wambuiltin.o wamfunction.o unix_utils.o attr.o dynlink.o = ta<o:p></o:p> sks.o locks.o = prolog_tasks.o own_malloc_linear.o alloc.o heapgc.o indexing.o = ini<o:p></o:p> tial.o registers.o = stacks.o support.o term_support.o wamsupport.o qread.o = qget.o<o:p></o:p>  builtin.o = interrupt.o gauge.o bignum.o profile.o float_consts.o float_tostr.o = c<o:p></o:p> iao_prolog.o start.o version.o sockets_c.o random.o  main.o   -o = ciaoengine.exe<o:p></o:p> chmod 664 = *.o<o:p></o:p> chgrp mkgroup-l-d = *.o<o:p></o:p> ( cd = /cygdrive/c/Temp/ciao-1.10p7/etc && make force_fix_size; )<o:p></o:p> make[3]: Entering = directory `/cygdrive/c/Temp/ciao-1.10p7/etc'<o:p></o:p> gcc -o fix_size = fix_size.c<o:p></o:p> make[3]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7/etc'<o:p></o:p> /cygdrive/c/Temp/ciao-1.10p7/etc/fix_size.exe ciaoengine.exe<o:p></o:p> chmod 775 = ciaoengine.exe<o:p></o:p> chgrp mkgroup-l-d ciaoengine.exe<o:p></o:p> if test ! -f /cygdrive/c/Temp/ciao-1.10p7/include/Win32i86/configure.h ; then = \<o:p></o:p>           for f in datadefs.h configure.h alloc.h registers.h termdefs.h = access.<o:p></o:p> h locks.h objareas.h support.h debug.h initial.h compat.h ciao_prolog.h = ciao_glu<o:p></o:p> ecode.h threads.h task_areas.h ; do \<o:p></o:p>            = ln -f -s /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/$f = /cygdrive/c/Te<o:p></o:p> mp/ciao-1.10p7/include/Win32i86; \<o:p></o:p>           done ; \<o:p></o:p>         fi<o:p></o:p> true<o:p></o:p> make[2]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86'<o:p></o:p> cp /cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/ciaoengine.exe = /cygdrive/c/Temp/cia<o:p></o:p> o-1.10p7/bin/Win32i86/ciaoengine.exe.sta<o:p></o:p><= /p> make[1]: Leaving = directory `/cygdrive/c/Temp/ciao-1.10p7'<o:p></o:p> CIAOALIASPATH=3D"" CIAOENGINE=3D/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/ciaoengine<o:p></o= :p>  CIAOLIB=3D/cygdrive/c/Temp/ciao-1.10p7  /cygdrive/c/Temp/ciao-1.10p7/ciaoc/ciaoc<o:p></o:p> Win32/setup_bat<o:p></o:p> ERROR: File library(compiler/header) not found - = aborting...<o:p></o:p> CIAOALIASPATH=3D"" CIAOENGINE=3D/cygdrive/c/Temp/ciao-1.10p7/bin/Win32i86/ciaoengine<o:p></o= :p>  CIAOLIB=3D/cygdrive/c/Temp/ciao-1.10p7  Win32/setup_bat = \"/cygdrive/c/Temp/ciao-1<o:p></o:p> .10p7/bin/Win32i86/ciaoengine.exe\"<o:p></o:p><= /p> /bin/sh: = Win32/setup_bat: No such file or directory<o:p></o:p> make: *** = [dowindowsbat] Error 127<o:p></o:p> <o:p> </o:p> $<o:p></o:p> </div> </body> </html> ------_=_NextPart_001_01C6D21A.9BF11EE5-- ============================================================================== 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

None
by CAV 2007 11 Sep '06

11 Sep '06

We apologize if you receive multiple copies of this email. See below about how to unsubscribe. ............................................................. Computer Aided Verification 19th International Conference July 3 - 7, 2007 Berlin, Germany Call for Workshop Proposals ............................................................. CAV 2007 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV 2007 will take place from July 3 to July 7, 2007 at the Park Inn Hotel, Berlin (Alexanderplatz). Traditionally, CAV is hosting a number of affiliated pre- and post-event workshops complementing its technical program. Affiliated workshops will be organized between July 1 and July 3 (pre-event workshops) and on July 8, 2007 (post-event workshops). Rooms will be available at Park Inn Hotel and at the Humboldt University (Unter den Linden, a 5 minutes walk from the hotel). Proposals for workshops affiliated with CAV 2007 are cordially invited. Informal proposals should be sent before October 15, 2006 to the workshop chair Christoph Scholl (cav2007_ws_announce(a)avacs.org) and should include the following information: - Name of the workshop - Intended aims and scope of the workshop - History of the workshop - Expected number of participants (min/av/max) - Length of the event (1 or 2 days) - Contact person with full contact information Important dates: ---------------- Submission deadline for workshop proposals: October 15, 2006 Notification: November 1, 2006 Program chairs: --------------- Werner Damm, CvO Univ Oldenburg Holger Hermanns, Saarland Univ Local arrangements chair: ------------------------- Bernd-Holger Schlingloff, Humboldt Univ Workshop chair: --------------- Christoph Scholl, Freiburg Univ ----------------------------------------------------------- We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding CAV2007, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply. ============================================================================== 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

None
by srinivasan.v＠jiit.ac.in 08 Sep '06

08 Sep '06

Hi, I have installed ciao on windows 2000. I want to run the development environment. When I click on ciaoengine nothing happens. How do I run ciao? WOuld appreciate an answer. Thanks much. Regards, Srini. ============================================================================== 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

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 September 2006