Re: swipl on macos
Paulo Moura <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
On 22/11/2013, at 12:14, Olivier Sallou <[email protected]> wrote: > > 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). That version was created using MacPorts on MacOS X 10.6. If memory serves, at that time and version, Apple was still using gcc 4.2. Not anymore. My suggestion is for you to either use a more recent (development) version (there's a .app available and you can also use MacPorts to install the command-line version of it). That should fix the issue you're observing with swipl-ld. Cheers, Paulo >> >>>> 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 > > _______________________________________________ > 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/> -----------------------------------------------------------------