From pmoura@noe.ubi.pt Tue Jun 19 12:27:06 2001
Received: from fep01-svc.mail.telepac.pt (fep01-svc.mail.telepac.pt [194.65.5.200])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f5JAR5c15484
	for <prolog@swi.psy.uva.nl>; Tue, 19 Jun 2001 12:27:05 +0200 (MET DST)
Received: from localhost ([194.65.199.243]) by fep01-svc.mail.telepac.pt
          (InterMail vM.4.01.02.27 201-229-119-110) with ESMTP
          id <20010619102302.BSNF3456.fep01-svc.mail.telepac.pt@localhost>;
          Tue, 19 Jun 2001 11:23:02 +0100
Date: Tue, 19 Jun 2001 11:14:49 +0100
From: Paulo Moura <pmoura@noe.ubi.pt>
Content-Type: text/plain;
	format=flowed;
	charset=iso-8859-1
Subject: Re: [SWIPL] porting swi prolog to mac os x
Cc: Paulo Moura <pmoura@noe.ubi.pt>,
   "'prolog@swi.psy.uva.nl'" <prolog@swi.psy.uva.nl>,
   "'stefan.haupt@mail.dk'" <stefan.haupt@mail.dk>
To: Stefan Haupt <SH@maconomy.dk>
X-Mailer: Apple Mail (2.388)
In-Reply-To: <E88493086664D511A1E4000103330E8212EDCB@MAIL>
Mime-Version: 1.0 (Apple Message framework v388)
Message-Id: <20010619102302.BSNF3456.fep01-svc.mail.telepac.pt@localhost>
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by swi.psy.uva.nl id f5JAR5c15484


On Terça, Junho 19, 2001, at 10:02 , Stefan Haupt wrote:

> i would like to port swi prolog to mac os x. I have tried both with 
> 4.0.3
> and 4.0.5 without success.

It's already done ;-)

> ./configure needs to be informed of the host, otherwise no problems....

  If you download the latest version, configure will recognize MacOS X 
(Darwin actually) without problems. Otherwise, for older versions, just 
copy the files config.sub and config.guess from the /use/libexec dir to 
the SWI src dir.

> ./configure completes with no problems, I then run make which completes 
> with
> no problems but running make install just says "install already up to 
> date"
> - which it is not.
>
> access rights should not be a problem...
>
> can anybody give me a hint about what to do?

Are you sure that you are doing the ./configure && make && sudo make 
install from the SWI src directory?

Hope this helps,

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Informatics                   Office 4.3  Ext. 3257
University of Beira Interior          Phone: +351 275319700
6201-001 Covilhã                      Fax:   +351 275319732
Portugal

mailto:pmoura@noe.ubi.pt
http://www.ci.uc.pt/logtalk/pmoura.html
-----------------------------------------------------------

