[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-06 Thread Qi 
thx for your help. I successfully installed cryptominisat-2.9.6 and it does 
work now :) But the whole building lasted almost 4 hours (which might be 
caused by my laptop).

在 2014年11月6日星期四UTC+1下午3时09分48秒，Volker Braun写道：
>
> On a 2014 quad core Mac mini it takes about an hour with "export 
> MAKE='make -j4'"
>
>
>
> On Thursday, November 6, 2014 2:05:48 PM UTC, Qi wrote:
>>
>> Is it normal after I "make" in the sage-6.4.4c1 home directory, the 
>> course lasts already more than two hours and still goes on?
>>
>> 在 2014年11月6日星期四UTC+1下午12时31分20秒，Volker Braun写道：
>>>
>>> The 6.3 binary is fine on Yosemite, but you can't compile from source.
>>>
>>> Use git or the self-contained source tarball at 
>>> http://sage.sagedev.org/home/release/sage-6.4.rc1.tar.gz
>>>
>>>
>>>
>>> On Thursday, November 6, 2014 11:30:00 AM UTC, Qi wrote:


 yeah, I saw the list of supported version of os. But I tried sage-6.3 
 on Yosemite. It seems everything's fine except for installing some 
 optional 
 package. 

 Now the problem is I cannot find the 6.4.rc1, only the 6.3 as the 
 newest version. If possible, can u give a link?

 Am Donnerstag, 6. November 2014 12:13:21 UTC+1 schrieb Volker Braun:
>
> Also, 6.3 does not support Yosemite. The current 6.4.rc1 does.
>
>
>
> On Thursday, November 6, 2014 11:06:31 AM UTC, Qi wrote:
>>
>> Hi Volker,
>>
>> thx for your reply. But the problem's still there.
>>
>> I do have the command line tools. When I ran "xcode-select 
>> --install", I got 
>>
>>
>> 
>>
>>
>> I've tried to build sage from source, then got errors:
>>
>>
>> 
>>
>>
>> Am Mittwoch, 5. November 2014 19:37:53 UTC+1 schrieb Volker Braun:
>>>
>>> Try to build Sage from source. 
>>>
>>> You most likely don't have the command line tools installed. Run 
>>> "xcode-select --install" on the command line.
>>>
>>>
>>>
>>> On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:

 Hello everyone,

 I'm new to sage and have just installed sage-6.3 on my mac osx 
 10.10. It seems everything works fine. But now I'm trying to install 
 the 
 package *cryptominisat-2.9.6*. As I see online, I typed the 
 following content on the shell:


 

 Then, I got a feedback like this:


 

 Is this because mac osx 10.10 is not compatible with 
 cryptominisat-2.9.6 which is like the error in the  part in 
 the 
 above screenshot or some other reasons?

 Any pointer would be appreciated. Thanks in advance!




-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-06 Thread Volker Braun 
On a 2014 quad core Mac mini it takes about an hour with "export MAKE='make 
-j4'"



On Thursday, November 6, 2014 2:05:48 PM UTC, Qi wrote:
>
> Is it normal after I "make" in the sage-6.4.4c1 home directory, the course 
> lasts already more than two hours and still goes on?
>
> 在 2014年11月6日星期四UTC+1下午12时31分20秒，Volker Braun写道：
>>
>> The 6.3 binary is fine on Yosemite, but you can't compile from source.
>>
>> Use git or the self-contained source tarball at 
>> http://sage.sagedev.org/home/release/sage-6.4.rc1.tar.gz
>>
>>
>>
>> On Thursday, November 6, 2014 11:30:00 AM UTC, Qi wrote:
>>>
>>>
>>> yeah, I saw the list of supported version of os. But I tried sage-6.3 on 
>>> Yosemite. It seems everything's fine except for installing some optional 
>>> package. 
>>>
>>> Now the problem is I cannot find the 6.4.rc1, only the 6.3 as the newest 
>>> version. If possible, can u give a link?
>>>
>>> Am Donnerstag, 6. November 2014 12:13:21 UTC+1 schrieb Volker Braun:

 Also, 6.3 does not support Yosemite. The current 6.4.rc1 does.



 On Thursday, November 6, 2014 11:06:31 AM UTC, Qi wrote:
>
> Hi Volker,
>
> thx for your reply. But the problem's still there.
>
> I do have the command line tools. When I ran "xcode-select --install", 
> I got 
>
>
> 
>
>
> I've tried to build sage from source, then got errors:
>
>
> 
>
>
> Am Mittwoch, 5. November 2014 19:37:53 UTC+1 schrieb Volker Braun:
>>
>> Try to build Sage from source. 
>>
>> You most likely don't have the command line tools installed. Run 
>> "xcode-select --install" on the command line.
>>
>>
>>
>> On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:
>>>
>>> Hello everyone,
>>>
>>> I'm new to sage and have just installed sage-6.3 on my mac osx 
>>> 10.10. It seems everything works fine. But now I'm trying to install 
>>> the 
>>> package *cryptominisat-2.9.6*. As I see online, I typed the 
>>> following content on the shell:
>>>
>>>
>>> 
>>>
>>> Then, I got a feedback like this:
>>>
>>>
>>> 
>>>
>>> Is this because mac osx 10.10 is not compatible with 
>>> cryptominisat-2.9.6 which is like the error in the  part in 
>>> the 
>>> above screenshot or some other reasons?
>>>
>>> Any pointer would be appreciated. Thanks in advance!
>>>
>>>
>>>

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-06 Thread Qi 
Is it normal after I "make" in the sage-6.4.4c1 home directory, the course 
lasts already more than two hours and still goes on?

在 2014年11月6日星期四UTC+1下午12时31分20秒，Volker Braun写道：
>
> The 6.3 binary is fine on Yosemite, but you can't compile from source.
>
> Use git or the self-contained source tarball at 
> http://sage.sagedev.org/home/release/sage-6.4.rc1.tar.gz
>
>
>
> On Thursday, November 6, 2014 11:30:00 AM UTC, Qi wrote:
>>
>>
>> yeah, I saw the list of supported version of os. But I tried sage-6.3 on 
>> Yosemite. It seems everything's fine except for installing some optional 
>> package. 
>>
>> Now the problem is I cannot find the 6.4.rc1, only the 6.3 as the newest 
>> version. If possible, can u give a link?
>>
>> Am Donnerstag, 6. November 2014 12:13:21 UTC+1 schrieb Volker Braun:
>>>
>>> Also, 6.3 does not support Yosemite. The current 6.4.rc1 does.
>>>
>>>
>>>
>>> On Thursday, November 6, 2014 11:06:31 AM UTC, Qi wrote:

 Hi Volker,

 thx for your reply. But the problem's still there.

 I do have the command line tools. When I ran "xcode-select --install", 
 I got 


 


 I've tried to build sage from source, then got errors:


 


 Am Mittwoch, 5. November 2014 19:37:53 UTC+1 schrieb Volker Braun:
>
> Try to build Sage from source. 
>
> You most likely don't have the command line tools installed. Run 
> "xcode-select --install" on the command line.
>
>
>
> On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:
>>
>> Hello everyone,
>>
>> I'm new to sage and have just installed sage-6.3 on my mac osx 10.10. 
>> It seems everything works fine. But now I'm trying to install the 
>> package 
>> *cryptominisat-2.9.6*. As I see online, I typed the following 
>> content on the shell:
>>
>>
>> 
>>
>> Then, I got a feedback like this:
>>
>>
>> 
>>
>> Is this because mac osx 10.10 is not compatible with 
>> cryptominisat-2.9.6 which is like the error in the  part in 
>> the 
>> above screenshot or some other reasons?
>>
>> Any pointer would be appreciated. Thanks in advance!
>>
>>
>>

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-06 Thread Volker Braun 
The 6.3 binary is fine on Yosemite, but you can't compile from source.

Use git or the self-contained source tarball at 
http://sage.sagedev.org/home/release/sage-6.4.rc1.tar.gz



On Thursday, November 6, 2014 11:30:00 AM UTC, Qi wrote:
>
>
> yeah, I saw the list of supported version of os. But I tried sage-6.3 on 
> Yosemite. It seems everything's fine except for installing some optional 
> package. 
>
> Now the problem is I cannot find the 6.4.rc1, only the 6.3 as the newest 
> version. If possible, can u give a link?
>
> Am Donnerstag, 6. November 2014 12:13:21 UTC+1 schrieb Volker Braun:
>>
>> Also, 6.3 does not support Yosemite. The current 6.4.rc1 does.
>>
>>
>>
>> On Thursday, November 6, 2014 11:06:31 AM UTC, Qi wrote:
>>>
>>> Hi Volker,
>>>
>>> thx for your reply. But the problem's still there.
>>>
>>> I do have the command line tools. When I ran "xcode-select --install", I 
>>> got 
>>>
>>>
>>> 
>>>
>>>
>>> I've tried to build sage from source, then got errors:
>>>
>>>
>>> 
>>>
>>>
>>> Am Mittwoch, 5. November 2014 19:37:53 UTC+1 schrieb Volker Braun:

 Try to build Sage from source. 

 You most likely don't have the command line tools installed. Run 
 "xcode-select --install" on the command line.



 On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:
>
> Hello everyone,
>
> I'm new to sage and have just installed sage-6.3 on my mac osx 10.10. 
> It seems everything works fine. But now I'm trying to install the package 
> *cryptominisat-2.9.6*. As I see online, I typed the following content 
> on the shell:
>
>
> 
>
> Then, I got a feedback like this:
>
>
> 
>
> Is this because mac osx 10.10 is not compatible with 
> cryptominisat-2.9.6 which is like the error in the  part in the 
> above screenshot or some other reasons?
>
> Any pointer would be appreciated. Thanks in advance!
>
>
>

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-06 Thread Qi 

yeah, I saw the list of supported version of os. But I tried sage-6.3 on 
Yosemite. It seems everything's fine except for installing some optional 
package. 

Now the problem is I cannot find the 6.4.rc1, only the 6.3 as the newest 
version. If possible, can u give a link?

Am Donnerstag, 6. November 2014 12:13:21 UTC+1 schrieb Volker Braun:
>
> Also, 6.3 does not support Yosemite. The current 6.4.rc1 does.
>
>
>
> On Thursday, November 6, 2014 11:06:31 AM UTC, Qi wrote:
>>
>> Hi Volker,
>>
>> thx for your reply. But the problem's still there.
>>
>> I do have the command line tools. When I ran "xcode-select --install", I 
>> got 
>>
>>
>> 
>>
>>
>> I've tried to build sage from source, then got errors:
>>
>>
>> 
>>
>>
>> Am Mittwoch, 5. November 2014 19:37:53 UTC+1 schrieb Volker Braun:
>>>
>>> Try to build Sage from source. 
>>>
>>> You most likely don't have the command line tools installed. Run 
>>> "xcode-select --install" on the command line.
>>>
>>>
>>>
>>> On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:

 Hello everyone,

 I'm new to sage and have just installed sage-6.3 on my mac osx 10.10. 
 It seems everything works fine. But now I'm trying to install the package 
 *cryptominisat-2.9.6*. As I see online, I typed the following content 
 on the shell:


 

 Then, I got a feedback like this:


 

 Is this because mac osx 10.10 is not compatible with 
 cryptominisat-2.9.6 which is like the error in the  part in the 
 above screenshot or some other reasons?

 Any pointer would be appreciated. Thanks in advance!




-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-06 Thread Volker Braun 
Also, 6.3 does not support Yosemite. The current 6.4.rc1 does.



On Thursday, November 6, 2014 11:06:31 AM UTC, Qi wrote:
>
> Hi Volker,
>
> thx for your reply. But the problem's still there.
>
> I do have the command line tools. When I ran "xcode-select --install", I 
> got 
>
>
> 
>
>
> I've tried to build sage from source, then got errors:
>
>
> 
>
>
> Am Mittwoch, 5. November 2014 19:37:53 UTC+1 schrieb Volker Braun:
>>
>> Try to build Sage from source. 
>>
>> You most likely don't have the command line tools installed. Run 
>> "xcode-select --install" on the command line.
>>
>>
>>
>> On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:
>>>
>>> Hello everyone,
>>>
>>> I'm new to sage and have just installed sage-6.3 on my mac osx 10.10. It 
>>> seems everything works fine. But now I'm trying to install the package 
>>> *cryptominisat-2.9.6*. As I see online, I typed the following content 
>>> on the shell:
>>>
>>>
>>> 
>>>
>>> Then, I got a feedback like this:
>>>
>>>
>>> 
>>>
>>> Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 
>>> which is like the error in the  part in the above screenshot or 
>>> some other reasons?
>>>
>>> Any pointer would be appreciated. Thanks in advance!
>>>
>>>
>>>

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-06 Thread Qi 
Hi Volker,

thx for your reply. But the problem's still there.

I do have the command line tools. When I ran "xcode-select --install", I 
got 




I've tried to build sage from source, then got errors:




Am Mittwoch, 5. November 2014 19:37:53 UTC+1 schrieb Volker Braun:
>
> Try to build Sage from source. 
>
> You most likely don't have the command line tools installed. Run 
> "xcode-select --install" on the command line.
>
>
>
> On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:
>>
>> Hello everyone,
>>
>> I'm new to sage and have just installed sage-6.3 on my mac osx 10.10. It 
>> seems everything works fine. But now I'm trying to install the package 
>> *cryptominisat-2.9.6*. As I see online, I typed the following content on 
>> the shell:
>>
>>
>> 
>>
>> Then, I got a feedback like this:
>>
>>
>> 
>>
>> Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 
>> which is like the error in the  part in the above screenshot or 
>> some other reasons?
>>
>> Any pointer would be appreciated. Thanks in advance!
>>
>>
>>

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: can not install optional package cryptominisat-2.9.6

2014-11-05 Thread Volker Braun 
Try to build Sage from source. 

You most likely don't have the command line tools installed. Run 
"xcode-select --install" on the command line.



On Wednesday, November 5, 2014 4:34:08 PM UTC, Qi wrote:
>
> Hello everyone,
>
> I'm new to sage and have just installed sage-6.3 on my mac osx 10.10. It 
> seems everything works fine. But now I'm trying to install the package 
> *cryptominisat-2.9.6*. As I see online, I typed the following content on 
> the shell:
>
>
> 
>
> Then, I got a feedback like this:
>
>
> 
>
> Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 
> which is like the error in the  part in the above screenshot or 
> some other reasons?
>
> Any pointer would be appreciated. Thanks in advance!
>
>
>

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.