Similar question has been asked but without a solution

I installed sage through ubuntu PPA's and found an ad-hoc solution to " 'all-toolchain'" problem. It should work in your case since Mint is essentially an Ubuntu.

Step 0: Problem

me@myLaptop:~$ sage -i cryptominisat 
make: *** No rule to make target 'all-toolchain'.  Stop.

Step 1: Installing sufficient dependencies:

According to cryptominitsat's page on github, you need to install some packages

$ sudo apt-get install build-essential cmake
$ sudo apt-get install valgrind libm4ri-dev libmysqlclient-dev libsqlite3-dev

Note: I am not sure if it necessary to apply above steps, but it does not solve the problem

Also, install all packages which have in their name sagemath in Synaptic package manager

Check point

Now, if you try:

me@myLaptop:~$ sage -i cryptominisat

you will get a premission error. Even worse, trying sudo it would give you a root user error!

configure: error: You cannot build Sage as root, switch to an unpriviledged user If you would like to try to build Sage anyway (to help porting)

Step 2: Change /usr/ib/sage and its subfolders' owner to you standard user

$\color{red}{It\ is\ safer\ to\ revert\ ownership\ to\ the\ root}$

Execute

sudo chown -R `whoami`:`whoami` /usr/lib/sagemath/

Finally,

 sage -i cryptominisat

Ta da