CakeML Build on CentOS8

Go to the working directory

cd ~

Install dependences

sudo yum install -y make gcc-c++

Download CakeML

curl -L https://github.com/CakeML/cakeml/releases/download/v1370/cake-x64-64.tar.gz > cake-x64-64.tar.gz

Extract the archive

tar -xzvf cake-x64-64.tar.gz

Change directory

cd ~/cake-x64-64

Build CakeML

make