try ./sage -i instead of sage -i -- sent from a tablet, please excuse my brevity On Dec 23, 2012 5:38 PM, "Santanu Sarkar" <[email protected]> wrote:
> I want to install sat solver. I have the following error > a@a-Compaq-Presario-C700-Notebook-PC:~/Downloads/sage-5.2-linux-32bit-ubuntu_12.04_lts-i686-Linux$ > sage -i cryptominisat-2.9.5 > > mkdir: cannot create directory `/usr/lib/sage/spkg/logs': Permission denied > Calling sage-spkg on 'cryptominisat-2.9.5' > tee: /usr/lib/sage/install.log: Permission denied > tee: /usr/lib/sage/spkg/logs/cryptominisat-2.9.5.log: No such file or > directory > Attempting to download package cryptominisat-2.9.5 > http://www.sagemath.org//packages/optional/cryptominisat-2.9.5.spkg --> > cryptominisat-2.9.5.spkg > [ ] > http://www.sagemath.org//packages/standard/cryptominisat-2.9.5.spkg --> > cryptominisat-2.9.5.spkg > [ ] > http://www.sagemath.org//packages/experimental/cryptominisat-2.9.5.spkg--> > cryptominisat-2.9.5.spkg > [ ] > http://www.sagemath.org//packages/archive/cryptominisat-2.9.5.spkg --> > cryptominisat-2.9.5.spkg > [ ] > ********************************************************************** > * Unable to download cryptominisat-2.9.5 > * Please see http://www.sagemath.org//packages for a list of valid > * packages or check the package name. > ********************************************************************** > Error: Failed to download package cryptominisat-2.9.5 from > http://www.sagemath.org/ > > > > On 13 December 2012 16:45, Martin Albrecht <[email protected] > > wrote: > >> sage -i cryptominisat-2.9.5 > > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > Visit this group at http://groups.google.com/group/sage-support?hl=en. > > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en.
