[analyzer] Switch to using setuptools (#193, #185).

[ivanperez-keera]

Distutils is deprecated (https://peps.python.org/pep-0632/). This commit replaces the import of distutils with an import of setuptools, which is one of the recommended replacements. This fixes #193.

Installation using setuptools also generates an egg file during installation. This fixes #185.

I have checked that the proposed solution works with python2 and python3. Images to replicate my results follow.

Python2:

# Based on image by Maxime Arthaud
FROM ubuntu:jammy
MAINTAINER Ivan Perez <ivan.perezdominguez@nasa.gov>
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 python2 python-pip libsqlite3-dev libtbb-dev \
    libz-dev libedit-dev llvm-14 llvm-14-dev llvm-14-tools clang-14 \
    git 

RUN python2 -m pip install -U pygments

# Add ikos source code
WORKDIR /root
RUN git clone https://github.com/ivanperez-keera/ikos

WORKDIR /root/ikos
RUN git checkout dev-setuptools

# Build ikos
RUN rm -rf /root/ikos/build && mkdir /root/ikos/build
WORKDIR /root/ikos/build
ENV MAKEFLAGS "-j$njobs"
ENV PYTHONPATH /opt/ikos/lib/python2.7/site-packages/
RUN mkdir -p /opt/ikos/lib/python2.7/site-packages/
RUN cmake \
        -DCMAKE_INSTALL_PREFIX="/opt/ikos" \
        -DCMAKE_BUILD_TYPE="$build_type" \
        -DLLVM_CONFIG_EXECUTABLE="/usr/lib/llvm-14/bin/llvm-config" \
        -DPYTHON_EXECUTABLE:FILEPATH="$(which python2)" \
        ..
RUN make
RUN make install

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

# Done
WORKDIR /

Python3:

# Based on image by Maxime Arthaud
FROM ubuntu:jammy
MAINTAINER Ivan Perez <ivan.perezdominguez@nasa.gov>
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 python3-setuptools \
    libsqlite3-dev libtbb-dev libz-dev libedit-dev llvm-14 llvm-14-dev llvm-14-tools clang-14 \
    git 

# Add ikos source code
WORKDIR /root
RUN git clone https://github.com/ivanperez-keera/ikos

WORKDIR /root/ikos
RUN git checkout dev-setuptools

# 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 /

[ivanperez-keera]

@arthaud Does this work for you?

I'd like to merge this myself, I just want a second pair of eyes before I merge. Thanks!

[arthaud]

I don't have time to test this but I will assume this is fine.

[ivanperez-keera]

@arthaud Ok, thank you.