An updated Dockerfile to compile IKOS

[ivanperez-keera]

Although IKOS is available in debian-nonfree, as a snap, and in homebrew, our developers and some of our users will still benefit from having a Dockerfile that compiles and installs ikos.

# Based on image by Maxime Arthaud
FROM debian:latest
MAINTAINER Ivan Perez <[email protected]>
ARG njobs=2
ARG build_type=Release

# Upgrade
RUN apt-get update
RUN apt-get upgrade -y

# Refresh cache
RUN apt-get update

# Install all dependencies
RUN apt-get install --yes gcc g++ cmake libgmp-dev libboost-dev libboost-filesystem-dev \
    libboost-thread-dev libboost-test-dev python3 python3-pygments libsqlite3-dev libtbb-dev \
    libz-dev libedit-dev llvm-14 llvm-14-dev llvm-14-tools clang-14 \
    git python3.11-venv python3-pip

RUN apt install --yes vim

# Add ikos source code
WORKDIR /root
RUN git clone https://github.com/NASA-SW-VnV/ikos

# Build ikos
RUN rm -rf /root/ikos/build && mkdir /root/ikos/build
WORKDIR /root/ikos/build
ENV MAKEFLAGS "-j$njobs"
RUN cmake \
        -DCMAKE_INSTALL_PREFIX="/opt/ikos" \
        -DCMAKE_BUILD_TYPE="$build_type" \
        -DLLVM_CONFIG_EXECUTABLE="/usr/lib/llvm-14/bin/llvm-config" \
        ..
RUN make
RUN make install

# Add ikos to the path
ENV PATH "/opt/ikos/bin:$PATH"

# Done
WORKDIR /

Build it with:

$ docker build -t ikos .

You can then just make your project available to IKOS with:

$ docker run -v $PWD/:/tmp/my_project -it ikos