On Wednesday, 1 July 2015 22:42:42 UTC+1, Jeremy Martin wrote:
>
> That very well could be.  I do not remember whether I originally installed 
> from binary or source.  Would it be simplest for me to just uninstall what 
> I have now and start from scratch with a source installation?
>

IMHO, yes. There isn't much to uninstall, in fact, just  move 
/Applications/sage/ somewhere if you want to keep the old copy...


>
> On Wednesday, July 1, 2015 at 4:02:06 PM UTC-5, Dima Pasechnik wrote:
>>
>>
>>
>> On Wednesday, 1 July 2015 21:56:26 UTC+1, Dima Pasechnik wrote:
>>>
>>>
>>>
>>> On Wednesday, 1 July 2015 20:34:08 UTC+1, Jeremy Martin wrote:
>>>>
>>>> Yes, according to 
>>>> http://doc.sagemath.org/html/en/installation/index.html.
>>>>
>>>> it used to be broken.
>>> Anyway, it's not even clear if you update a source installation, or a 
>>> binary installation... 
>>>
>>
>> I think you  are trying to upgrade a binary installation, that was 
>> moreover not very carefully done, 
>> judging by 
>> "-I/Users/buildslave-sage/slave/sage_git/build/local/include/freetype2" 
>> path in your log.
>>
>> Indeed, as already mentioned, this seems to be the same issue as in 
>> http://trac.sagemath.org/ticket/18816
>>
>>
>>
>>> On Wednesday, July 1, 2015 at 2:23:18 PM UTC-5, Dima Pasechnik wrote:
>>>>>
>>>>> is "sage -upgrade" a supported way to update the installation?
>>>>>
>>>>>
>>>>> On Wednesday, 1 July 2015 20:12:18 UTC+1, Jeroen Demeyer wrote:
>>>>>>
>>>>>> On 2015-07-01 20:21, Jeremy Martin wrote: 
>>>>>> > Hi Jeroen, 
>>>>>> > 
>>>>>> > Here it is: 
>>>>>> It looks right. 
>>>>>>
>>>>>> Can you please run "make" again and see if this fixes the problem? 
>>>>>>
>>>>>

-- 
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to