Ask Your Question
2

Installing Cryptominisat

asked 2016-07-28 19:50:29 +0100

pp gravatar image

I am using Linux Mint 17.3 64 bit, and installed sage from PPA as given here: help.ubuntu.com/community/SAGE. Then, I tried to install Cryptominisat package following this: doc.sagemath.org/pdf/en/reference/sat/sat.pdf. However, I get the following error:

$ sage -i cryptominist sagelib
make: *** No rule to make target `all-toolchain'.  Stop.

Later I found out for all -i option, it gives the same error. What should I do to install Cryptominisat?

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
1

answered 2016-08-03 19:01:54 +0100

A.Alharbi gravatar image

updated 2016-08-03 19:06:08 +0100

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

image description

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

edit flag offensive delete link more
3

answered 2016-08-10 06:13:45 +0100

pipedream0 gravatar image

Hi

I am the sagemath PPA maintainer.

The PPA (and even the binary tarballs downloaded from sagemath) is not really intended for adding optional packages but it is possible.

  1. It is dangerous to build everything as root, as you found from the sage error!
  2. Changing the ownership may essentially break apt, or on a multi-user system be insecure for your user.

I think when you installed extra packages from synaptic you added what you need: sagemath-upstream-binary-full, which does include the src and build and git folders.

If you regularly use optional packages, it is preferred to install from source, (fix permissions on a multi-user system to a new user like sagemath or root), sage -i your packages (fix permissions after), and join the low-traffic sage-release mailing list which will announce new releases, and use sage -upgrade which will only download and compile parts that changed.

Regards, Jan

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools

2 followers

Stats

Asked: 2016-07-28 19:50:29 +0100

Seen: 2,300 times

Last updated: Aug 10 '16