Hi all, When I am trying to install Cryptominisat, I am getting following error.
(base) santanu@Santanu-Laptop:~/Desktop/sage-8.9-Ubuntu_18.04-i686/SageMath$ ./sage -i cryptominisat *************************************************************** Error building Sage. The following package(s) may have failed to build (not necessarily during this run of 'make all-toolchain'): * package: pkgconf-0.9.7.p2 log file: /home/santanu/Desktop/sage-8.9-Ubuntu_18.04-i686/SageMath/logs/pkgs/pkgconf-0.9.7.p2.log build directory: /home/santanu/Desktop/sage-8.9-Ubuntu_18.04-i686/SageMath/local/var/tmp/sage/build/pkgconf-0.9.7.p2 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:31: recipe for target 'all-toolchain' failed make: *** [all-toolchain] Error 1 But I have installed pkgconf. (base) santanu@Santanu-Laptop:~$ sudo apt-get install pkgconf Reading package lists... Done Building dependency tree Reading state information... Done pkgconf is already the newest version (0.9.12-6). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. (base) santanu@Santanu-Laptop:~$ -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAOe8sPJUUV_kiUXcic3zi5jact_LQWo%3DAqCwx-Lk0CP%3DoOnCzg%40mail.gmail.com.
