arch

Failed to load latest commit information.

Cannot retrieve latest commit at this time.

README.md

Update packages and install build dependencies

sudo pacman -Sy archlinux-keyring && sudo pacman -Syyu
sudo pacman -S gcc bison flex make patch perl-libwww fakeroot

Create folder for package and copy PKGBUILD file there.

Build package by running makepkg in that folder. That will compile CBMC and run all tests. To install package run

sudo pacman -U cbmc-5.7-1-x86_64.pkg.tar.xz`