Re: swipl on macos
Olivier Sallou <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
On 11/22/2013 12:21 PM, Paulo Moura wrote: > On 22/11/2013, at 11:17, Olivier Sallou <[email protected]> wrote: > >> On 11/22/2013 12:12 PM, Paulo Moura wrote: >>> On 22/11/2013, at 10:44, Olivier Sallou <[email protected]> wrote: >>> >>>> Hi, >>>> I upgraded recently my MacOS to OS X 10.9. >> I upgraded my MAC using Store. Then I reinstalled swipl (as it failed) >> using binaries available in download page. > Binaries for which SWI-Prolog version? http://www.swi-prolog.org/download/stable/bin/swi-prolog-6.4.1-lion-intel.mpkg.zip I just tried with brew install and it works (though version is not recent). > >>> How did you upgraded? Using MacPorts? >>> >>>> Now, I have an error on swipl-ld (I reinstalled it to be sure after the >>>> upgrade), trying to access /usr/bin/gcc-4.2 (even with only swipl-ld -v) >>>> >>>> "swipl --dump-runtime-variables" indeed return >>>> CC="/usr/bin/gcc-4.2" >>>> >>>> but there is no gcc-4.2 on my Mac, only gcc. >>>> >>>> I wonder where it tries to get this gcc version name. >>>> >>>> Olivier >>>> >>>> -- >>>> >>>> >>>> gpg key id: 4096R/326D8438 (keyring.debian.org) >>>> Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438 >>>> >>>> _______________________________________________ >>>> SWI-Prolog mailing list >>>> [email protected] >>>> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog >>> ----------------------------------------------------------------- >>> Paulo Moura >>> Logtalk developer >>> >>> Email: <mailto:[email protected]> >>> Web: <http://logtalk.org/> >>> ----------------------------------------------------------------- >>> >>> >>> >>> >>> _______________________________________________ >>> SWI-Prolog mailing list >>> [email protected] >>> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog >>> >>> >> -- >> Olivier Sallou >> IRISA / University of Rennes 1 >> Campus de Beaulieu, 35000 RENNES - FRANCE >> Tel: 02.99.84.71.95 >> >> gpg key id: 4096R/326D8438 (keyring.debian.org) >> Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438 >> >> _______________________________________________ >> SWI-Prolog mailing list >> [email protected] >> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog > ----------------------------------------------------------------- > Paulo Moura > Logtalk developer > > Email: <mailto:[email protected]> > Web: <http://logtalk.org/> > ----------------------------------------------------------------- > > > > > _______________________________________________ > SWI-Prolog mailing list > [email protected] > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog > > -- Olivier Sallou IRISA / University of Rennes 1 Campus de Beaulieu, 35000 RENNES - FRANCE Tel: 02.99.84.71.95 gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438