[sage-devel] Re: can not install optional package cryptominisat-2.9.6
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 https://lh5.googleusercontent.com/-Bp6dPBWPw40/VFtTfXkgg6I/ALU/xYy9Cxw3IR0/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B11.52.24.png I've tried to build sage from source, then got errors: https://lh3.googleusercontent.com/-n0SYvJHdIRw/VFtV-QliLbI/ALg/aZHmLPP5k2k/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B12.03.30.png 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: https://lh3.googleusercontent.com/-1gyTI1tBfjs/VFpNwONgJmI/AKw/vS2nrjhj2SY/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.16.39.png Then, I got a feedback like this: https://lh5.googleusercontent.com/-XdhX5V4KVG0/VFpPSg5M-aI/AK8/MoI_3fMs58k/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.22.13.png Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 which is like the error in the built-in 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
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 https://lh5.googleusercontent.com/-Bp6dPBWPw40/VFtTfXkgg6I/ALU/xYy9Cxw3IR0/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B11.52.24.png I've tried to build sage from source, then got errors: https://lh3.googleusercontent.com/-n0SYvJHdIRw/VFtV-QliLbI/ALg/aZHmLPP5k2k/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B12.03.30.png 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: https://lh3.googleusercontent.com/-1gyTI1tBfjs/VFpNwONgJmI/AKw/vS2nrjhj2SY/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.16.39.png Then, I got a feedback like this: https://lh5.googleusercontent.com/-XdhX5V4KVG0/VFpPSg5M-aI/AK8/MoI_3fMs58k/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.22.13.png Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 which is like the error in the built-in 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
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 https://lh5.googleusercontent.com/-Bp6dPBWPw40/VFtTfXkgg6I/ALU/xYy9Cxw3IR0/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B11.52.24.png I've tried to build sage from source, then got errors: https://lh3.googleusercontent.com/-n0SYvJHdIRw/VFtV-QliLbI/ALg/aZHmLPP5k2k/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B12.03.30.png 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: https://lh3.googleusercontent.com/-1gyTI1tBfjs/VFpNwONgJmI/AKw/vS2nrjhj2SY/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.16.39.png Then, I got a feedback like this: https://lh5.googleusercontent.com/-XdhX5V4KVG0/VFpPSg5M-aI/AK8/MoI_3fMs58k/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.22.13.png Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 which is like the error in the built-in 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
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 https://lh5.googleusercontent.com/-Bp6dPBWPw40/VFtTfXkgg6I/ALU/xYy9Cxw3IR0/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B11.52.24.png I've tried to build sage from source, then got errors: https://lh3.googleusercontent.com/-n0SYvJHdIRw/VFtV-QliLbI/ALg/aZHmLPP5k2k/s1600/Screen%2BShot%2B2014-11-06%2Bat%2B12.03.30.png 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: https://lh3.googleusercontent.com/-1gyTI1tBfjs/VFpNwONgJmI/AKw/vS2nrjhj2SY/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.16.39.png Then, I got a feedback like this: https://lh5.googleusercontent.com/-XdhX5V4KVG0/VFpPSg5M-aI/AK8/MoI_3fMs58k/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.22.13.png Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 which is like the error in the built-in 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] can not install optional package cryptominisat-2.9.6
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: https://lh3.googleusercontent.com/-1gyTI1tBfjs/VFpNwONgJmI/AKw/vS2nrjhj2SY/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.16.39.png Then, I got a feedback like this: https://lh5.googleusercontent.com/-XdhX5V4KVG0/VFpPSg5M-aI/AK8/MoI_3fMs58k/s1600/Screen%2BShot%2B2014-11-05%2Bat%2B17.22.13.png Is this because mac osx 10.10 is not compatible with cryptominisat-2.9.6 which is like the error in the built-in 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.
