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

ort > 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? >> >&g

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

r 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 >> Yosemi

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

ag, 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 t

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

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'

[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: