Ask Your Question

how do I install an spkg?

asked 2010-08-20 11:57:20 -0600

Oscar Lazo gravatar image

I want to install this spkg:

After opening the spkg with tar I don't see any installation instructions.

edit retag flag offensive close merge delete

2 answers

Sort by ยป oldest newest most voted

answered 2010-08-20 11:58:16 -0600

William Stein gravatar image

Do this:

sage -i
edit flag offensive delete link more


The **sage -i** command also works if you have downloaded the spkg: sage -i


cswiercz gravatar imagecswiercz ( 2010-08-20 12:07:28 -0600 )edit

Or if you haven't downloaded it yet, just type "sage -i cadabra" and it should look up the version number and download the file.

John Palmieri gravatar imageJohn Palmieri ( 2010-08-20 12:11:53 -0600 )edit

I tryed, but: make: * No rule to make target 'all-toolchain'. Stop. how to solve?

jmarcellopereira gravatar imagejmarcellopereira ( 2016-02-07 18:00:19 -0600 )edit

What version of Sage are you using? Did you download a binary version or source?

John Palmieri gravatar imageJohn Palmieri ( 2016-02-21 10:30:28 -0600 )edit

answered 2010-08-24 18:08:23 -0600

There's also "sage -f" (the "f" stands for "force"), which works just like "sage -i" but will install the spkg even if the same (or a later) version is already installed.

This is very useful when you're working on a spkg and making little changes, or if someone gives you a modified spkg with the same version.

edit flag offensive delete link more



And there is `sage -f -m` which installs the spkg and does *not* delete the build directory from `spkg/build`, which can be useful for debugging.

William Stein gravatar imageWilliam Stein ( 2010-08-24 20:53:11 -0600 )edit

This apparently now `sage -f -s`, according to the deprecation warning I get.

kcrisman gravatar imagekcrisman ( 2013-06-18 14:26:50 -0600 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2010-08-20 11:57:20 -0600

Seen: 2,195 times

Last updated: Aug 24 '10