Problem to install Cryptominisat

[Santanu Sarkar]

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:~$