Ask Your Question

how do I install an spkg?

asked 2010-08-20 18:57:20 +0200

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 18:58:16 +0200

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 19:07:28 +0200 )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 19:11:53 +0200 )edit

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

jmarcellopereira gravatar imagejmarcellopereira ( 2016-02-08 01:00:19 +0200 )edit

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

John Palmieri gravatar imageJohn Palmieri ( 2016-02-21 17:30:28 +0200 )edit

answered 2010-08-25 01:08:23 +0200

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-25 03:53:11 +0200 )edit

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

kcrisman gravatar imagekcrisman ( 2013-06-18 21:26:50 +0200 )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 18:57:20 +0200

Seen: 2,545 times

Last updated: Aug 25 '10