Dear Ciao users,
I am forwarding here some recently exchanged messages regarding compilation of Ciao Prolog on FreeBSD platforms using Linux compatibility and some other topics which may be of interest for some of you.
---------------------------------------------------------------------------
From: paul.broome(a)firstdata.com Subject: Ciao/Pillow on FreeBSD? To: ciao-users
Hi All,
I didn't see any discussion of FreeBSD on this list so I assumed it hadn't been tried yet. I have Ciao 1.6 and PiLLoW running on my FreeBSD 4.2 system, compiled under Linux compatibility mode. There were a few small issues but mostly it was straightfoward - in case this might be helpful to someone.
Paul Broome First Data Corporation Hunt Valley, MD USA
---------------------------------------------------------------------------
From: Manuel Carro <boris(a)lml.ls.fi.upm.es>
Thanks for trying out Ciao Prolog and PiLLoW. Yes, there was no attempt to port Ciao Prolog to Free BSD, mainly because we do not have any Free BSD box available. We would be most grateful if you could send us the changes you had to do in order to compile Ciao Prolog, in order to add them to the current distribution --- with proper ackowledgment, of course!
MCL & the Ciao Prolog Team,
---------------------------------------------------------------------------
From: paul.broome(a)firstdata.com To: boris(a)aaron.ls.fi.upm.es Subject: Re: Ciao Prolog on Free BSD Date: Fri, 23 Mar 2001 14:13:43 -0500
Dear Manuel,
It may be possible to do this more simply. I changed three things:
1) Set USE_THREADS=no in SETTINGS. I actually didn't try threads but I didn't need them.
2) In doc/reference/Makefile, set ECHO=echo. This is because FreeBSD gmake doesn't like the %b in ECHO=printf "%b\n" I was unable to find out what the %b does under gmake.
3) Take out the library -ldl as that's already part of FreeBSD's Linux compatibility. I did this by copying mkf-LINUXi86 into mkf-BSDi86 in makefile-sysdep and setting LIBS= -lm $(LD_THREAD_LIB) $(LD_LOCK_LIB) $(DEBUG_LIBS) and then adding a line to etc/ciao_get_arch that adds another case at around line 55, e.g.
*BSD,i[3456]86 ) CIAOARCH=BSDi86 ;;
For PiLLoW I was not able to find a lpshell so I wrote a small script that seems to work ok.
Hope this is useful to someone.
Regards,
Paul
---------------------------------------------------------------------------
From: paul.broome(a)firstdata.com To: boris(a)aaron.ls.fi.upm.es Subject: Re: Ciao Prolog on Free BSD Date: Fri, 23 Mar 2001 14:13:43 -0500
For PiLLoW I was not able to find a lpshell so I wrote a small script that seems to work ok.
---------------------------------------------------------------------------
From: Manuel Hermenegildo <herme(a)clip.dia.fi.upm.es> Subject: Re: Ciao on Free BSD
All Ciao instalations build an executable called 'ciao-shell' which supersedes lpshell (interpreting Prolog scripts). See the chapter "The script interpreter" in the manual. That was a bug.
---------------------------------------------------------------------------
From: Manuel Hermenegildo <herme(a)clip.dia.fi.upm.es> To: paul.broome(a)firstdata.com CC: boris(a)aaron.ls.fi.upm.es, ciao(a)clip.dia.fi.upm.es Subject: Re: Ciao Prolog on Free BSD Date: Mon, 26 Mar 2001 23:17:09 +0200
Paul, actually, the distribution should build an executable called 'ciao-shell' which performs this task (interpreting Prolog scripts). See the chapter "The script interpreter" in the manual. Manuel
---------------------------------------------------------------------------
To: Paul Broome/MD/FDMS/FDC(a)FDC cc: herme(a)fi.upm.es, boris(a)aaron.ls.fi.upm.es, ciao(a)clip.dia.fi.upm.es Subject: Re: Ciao Prolog on Free BSD
On a related matter, are you aware of any https work with PiLLow/Ciao? That is, can I login into a secure site under program control, using SSL and PiLLoW?
Not for our part (the Ciao team), sorry.
---------------------------------------------------------------------------
From: paul.broome(a)firstdata.com To: Daniel Cabeza Gras <bardo(a)clip.dia.fi.upm.es> Cc: herme(a)fi.upm.es, boris(a)aaron.ls.fi.upm.es, ciao(a)clip.dia.fi.upm.es Subject: Re: Ciao Prolog on Free BSD Date: Thu, 29 Mar 2001 08:57:50 -0500
Daniel,
Thanks. If I discover anything useful, I'll share it.
By the way, Ciao on BSD means Ciao might go onto Apple's Mac OS X. I haven't tried though because I don't have a Mac.
Paul
---------------------------------------------------------------------------
From: Manuel Carro <boris(a)lml.ls.fi.upm.es> To: paul.broome(a)firstdata.com Cc: ciao(a)clip.dia.fi.upm.es Subject: Re: Ciao Prolog on Free BSD Date: Thu, 29 Mar 2001 16:14:13 +0200
Thanks. If I discover anything useful, I'll share it.
By the way, Ciao on BSD means Ciao might go onto Apple's Mac OS X. I haven't tried though because I don't have a Mac.
It has already gone onto it. The latest stable version we have in the web does not compile in Mac OS X, but our current development version (also in the web) does. We are finishing some bits, such as the Java interface.
---------------------------------------------------------------------------
From: paul.broome(a)firstdata.com Date: Fri, 30 Mar 2001 16:39:12 -0500 Subject: Re: Ciao Prolog on Free BSD To: herme(a)fi.upm.es
Manuel,
Is your "Efficient Implementation of General Negation" (constructive negation) available somewhere? I have only Chan's first round version in my implementation of relation complement but that's not sufficient and you've taken this quite a bit further.
Paul
---------------------------------------------------------------------------
From: Manuel Hermenegildo <herme(a)clip.dia.fi.upm.es> To: paul.broome(a)firstdata.com CC: ciao(a)clip.dia.fi.upm.es Subject: Re: Ciao Prolog on Free BSD Date: Sun, 1 Apr 2001 16:11:27 +0200
Is your "Efficient Implementation of General Negation" (constructive negation)
We have a preliminary prototype working in our develpment version. Susana (and also Daniel) are working on this. I am sending your message to the ciao list so that they can answer too with the details. Man
---------------------------------------------------------------------------
MCL
____________________________________________________________ Don't create a problem for which you do not have the answer.