Revision history [back]
 | 1 | initial version |
Similar question has been asked but without a solution
I installed sage through ubuntu PPA's and found an ad-hoc solution. 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 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 normal use
$\color{red}{It is important to revert premissions to their first stat}$
Execute
sudo chown -R `whoami`:`whoami` /usr/lib/sagemath/
Finally,
sage -i cryptominisat
Ta da
| | 2 | No.2 Revision |
Similar question has been asked but without a solution
I installed sage through ubuntu PPA's and found an ad-hoc solution. 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 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 normal use
$\color{red}{It is important to revert premissions to their first stat}$$\color{red}{It\ is\ safer\ to\ revert\ ownership\ to\ root}$
Execute
sudo chown -R `whoami`:`whoami` /usr/lib/sagemath/
Finally,
sage -i cryptominisat
Ta da
| | 3 | No.3 Revision |
Similar question has been asked but without a solution
I installed sage through ubuntu PPA's and found an ad-hoc solution. 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 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 normal use
$\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
| | 4 | No.4 Revision |
Similar question has been asked but without a solution
I installed sage through ubuntu PPA's and found an ad-hoc solution. 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 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 normal use
$\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
| | 5 | No.5 Revision |
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 normal usestandard 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
