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?
