akhilesh's profile - activity

I have already installed a version of Cryptominisat (I don't know how to check the version either but should be around 2.9.5) but Cryptominisat has already advanced to version 5 and there are more built-in functions like setting the number of parallel threads to the solver, but not in my version.

So how can I update cryptominisat to v5?

Thanks! Used rc2, it's working now :)

This answer solves precisely. Thanks!

However, i further get another error during further builds:

Error building Sage.

The following package(s) may have failed to build (not necessarily during this run of 'make all'):

• package: flint-2.5.2.p0 log file: /home/akhilesh/Sage/sage/logs/pkgs/flint-2.5.2.p0.log

  build directory: /home/akhilesh/Sage/sage/local/var/tmp/sage/build/flint-2.5.2.p0

Tried with the latest sage 7.5 rc0. Can you solve this?

after running the command ./sage -i cryptominisat, it attempts to install the same file gcc-4.9.3.p1 and at the end it comes to the same thing.Is there a way that i could change gcc-4.9.3.p1 to some other version(there are errors in this gcc version, can you try building it yourself just to confirm?), then we solve the issue.

Yes you were right, i installed from the tarball.I tried compiling from source, same error.Tried different sage versions 7.1,7.2,7.3,7.4,7.5 same error.

Thanks for replying :)

Hello everyone!

I tried installing sage on ubuntu-16.10 sage-7.4 from the official mirrors. I extracted it, ran the ./configure(everything fine here) and ./make and this is what happens(output attached):

Error building Sage.

The following package(s) may have failed to build (not necessarily during this run of 'make all-toolchain'):

• package: gcc-4.9.3.p1 log file: /home/akhilesh/Downloads/SageMath/logs/pkgs/gcc-4.9.3.p1.log build directory: /home/akhilesh/Downloads/SageMath/local/var/tmp/sage/build/gcc-4.9.3.p1

The build directory may contain configuration files and other potentially helpful information. WARNING: if you now run 'make' again, the build directory will, by default, be deleted. Set the environment variable SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this.

Makefile:16: recipe for target 'all-toolchain' failed make: * [all-toolchain] Error 1

I am currently working on a project, and although i can run sage by ./sage, i cannot install cryptominisat. Any leads would be highly appreciated on this.

Thanks in advance.