On Mar 12, 2017, at 11:43 , Francois Bissey wrote:

> 
>> On 13/03/2017, at 07:34, Justin C. Walker <jus...@mac.com> wrote:
>> 
>> 
>> On Mar 12, 2017, at 00:27 , Dima Pasechnik wrote:
>> 
>>> there is no "issue" with pandoc. Most linux distros allow you to install it 
>>> using package manager, and it is easy to install it on OSX or Windows.
>>> 
>>> On the other hand, it appears that surf had never been ported to OSX.
>> 
>> No: in fact, MacPorts had a port a while back (maybe 2013), but it no longer 
>> works, and AFAIK, it's not supported there.  I did have a port from the surf 
>> team in a farther-away land, and they gave up on macOS after a bit.  The 
>> last copy I have was from ~2005-6.  That was before 10.6 (maybe the 10.4 
>> epoch).  I think the problem may be with the version of Qt required, but I'm 
>> not sure.
>> 
> 
> Not qt but gtk. But that’s the right feeling since we are
> talking about gtk-1.2.x here.

Right.  Qt arose in farbling with CoCoA-GUI on macOS - beyond my capabilities 
to grok.  Just like gtk...

> However this is optional, but may be you don’t find it very useful
> without the gui. My main complaint is that the project is dead
> as far as anyone can see. The last release is from 2010.
> And I suspect the tarball Jeroen put in experimental has been
> tweaked as it has a gcc6 ending in its name.

I'm trying to imagine surf without graphics (:-}), but perhaps that's not what 
you mean exactly.

Thanks for clarifying.

Justin

--
Justin C. Walker, Curmudgeon-At-Large, Director
Institute for the Enhancement of the Director's Income
--------
The path of least resistance:
it's not just for electricity any more.
--------



-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to