Skip to content

Latest commit

 

History

History
17 lines (12 loc) · 445 Bytes

README.md

File metadata and controls

17 lines (12 loc) · 445 Bytes

Arch Linux Package

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`