Ask Your Question

akhilesh's profile - activity

2018-09-06 12:25:47 -0500 received badge  Notable Question (source)
2018-04-11 06:14:21 -0500 received badge  Popular Question (source)
2017-04-15 18:35:56 -0500 received badge  Student (source)
2017-04-12 01:24:05 -0500 asked a question How can I update to latest version of CryptoMiniSat?

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?

2017-01-06 13:02:47 -0500 commented answer SAGE fails to build because of gcc-4.9.3.p1

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

2017-01-06 05:10:12 -0500 commented answer SAGE fails to build because of gcc-4.9.3.p1

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?

2017-01-06 05:06:41 -0500 received badge  Scholar (source)
2016-12-26 22:31:44 -0500 commented answer SAGE fails to build because of gcc-4.9.3.p1

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 :)

2016-12-26 08:03:25 -0500 asked a question SAGE fails to build because of gcc-4.9.3.p1

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.