Skip to content

Latest commit

 

History

History
46 lines (31 loc) · 1.19 KB

MAC_OS_X.md

File metadata and controls

46 lines (31 loc) · 1.19 KB

Install IKOS on Mac OS X

Here are the steps to install IKOS on MAC OS X using Homebrew.

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

$ brew upgrade

Now, install IKOS:

$ brew install nasa-sw-vnv/core/ikos

You are now ready to use IKOS. Go to the section How to Run IKOS in README.md

Build IKOS from source on Mac OS X

Here are the steps to install the required dependencies to build IKOS from source on MAC OS X using Homebrew.

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

$ brew upgrade

Now, install the following packages:

$ brew install cmake gmp boost llvm@8

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="$(brew --prefix)/opt/llvm@8/bin/llvm-config" \
    ..

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