Skip to content

Latest commit

 

History

History
43 lines (31 loc) · 1.28 KB

DEBIAN_10.md

File metadata and controls

43 lines (31 loc) · 1.28 KB
Raw

Install IKOS dependencies on Debian Buster

Here are the steps to install the required dependencies of IKOS on Debian 10 (Buster).

First, make sure your system is up-to-date:

$ sudo apt-get update
$ sudo apt-get upgrade

Now, you will need to add the LLVM repository to your apt sources.list:

$ echo "deb http://apt.llvm.org/buster/ llvm-toolchain-buster-9 main" | sudo tee -a /etc/apt/sources.list

You also need to trust the LLVM repository key:

$ wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -

Then, run the following commands:

$ sudo apt-get update
$ sudo apt-get install gcc g++ cmake libgmp-dev libboost-dev libboost-filesystem-dev \
    libboost-thread-dev libboost-test-dev python python-pygments libsqlite3-dev libtbb-dev \
    libz-dev libedit-dev llvm-9 llvm-9-dev llvm-9-tools clang-9

When running cmake to build IKOS, you will need to define LLVM_CONFIG_EXECUTABLE:

$ cmake \
    -DCMAKE_INSTALL_PREFIX="/path/to/ikos-install-directory" \
    -DLLVM_CONFIG_EXECUTABLE="/usr/lib/llvm-9/bin/llvm-config" \
    ..

You are now ready to build IKOS. Go to the section Build and Install in README.md