<commit_before>#
# Dockerfile for Clam binary
# produces package in /clam/build
# Arguments:
#  - UBUNTU:     trusty, xenial, bionic
#  - BUILD_TYPE: debug, release
#

ARG UBUNTU

# Pull base image.
FROM seahorn/clam-build-llvm8:$UBUNTU

# Needed to run clang with -m32
RUN apt-get update && \
    apt-get install -yqq libc6-dev-i386 

RUN cd / && rm -rf /clam && \
    git clone https://github.com/seahorn/crab-llvm -b llvm-8.0 clam --depth=10 ; \
    mkdir -p /clam/build
WORKDIR /clam/build

ARG BUILD_TYPE
# Build configuration.
RUN cmake -GNinja \
          -DCMAKE_BUILD_TYPE=$BUILD_TYPE \
          -DBOOST_ROOT=/deps/boost \
          -DLLVM_DIR=/deps/LLVM-8.0.1-Linux/lib/cmake/llvm \
          -DCMAKE_INSTALL_PREFIX=run \
          -DCMAKE_CXX_COMPILER=g++-5 \
          -DCMAKE_EXPORT_COMPILE_COMMANDS=1 \
          -DCRAB_USE_LDD=ON \
          -DCRAB_USE_APRON=ON \
          ../ && \
    cmake --build . --target extra  && cmake .. && \
    cmake --build . --target crab  && cmake .. && \
    cmake --build . --target ldd  && cmake .. && \
    cmake --build . --target apron  && cmake .. && \
    cmake --build . --target install

# symlink clang (from base image)
RUN ln -s /clang-8.0/bin/clang run/bin/clang
RUN ln -s /clang-8.0/bin/clang++ run/bin/clang++

ENV PATH "/deps/LLVM-8.0.1-Linux/bin:$PATH"
ENV PATH "/clam/build/run/bin:$PATH"

# run tests
RUN cmake --build . --target test-simple
RUN cmake --build . --target test-readme
RUN cmake --build . --target test-ssh-simplified
RUN cmake --build . --target test-ntdrivers-simplified


WORKDIR /clam

<commit_msg>Use base image without renaming<commit_after>#
# Dockerfile for Clam binary
# produces package in /clam/build
# Arguments:
#  - UBUNTU:     trusty, xenial, bionic
#  - BUILD_TYPE: debug, release
#

ARG UBUNTU

# Pull base image.
#FROM seahorn/clam-build-llvm8:$UBUNTU
FROM seahorn/crabllvm-build-llvm8:$UBUNTU

# Needed to run clang with -m32
RUN apt-get update && \
    apt-get install -yqq libc6-dev-i386 

RUN cd / && rm -rf /clam && \
    git clone https://github.com/seahorn/crab-llvm -b llvm-8.0 clam --depth=10 ; \
    mkdir -p /clam/build
WORKDIR /clam/build

ARG BUILD_TYPE
# Build configuration.
RUN cmake -GNinja \
          -DCMAKE_BUILD_TYPE=$BUILD_TYPE \
          -DBOOST_ROOT=/deps/boost \
          -DLLVM_DIR=/deps/LLVM-8.0.1-Linux/lib/cmake/llvm \
          -DCMAKE_INSTALL_PREFIX=run \
          -DCMAKE_CXX_COMPILER=g++-5 \
          -DCMAKE_EXPORT_COMPILE_COMMANDS=1 \
          -DCRAB_USE_LDD=ON \
          -DCRAB_USE_APRON=ON \
          ../ && \
    cmake --build . --target extra  && cmake .. && \
    cmake --build . --target crab  && cmake .. && \
    cmake --build . --target ldd  && cmake .. && \
    cmake --build . --target apron  && cmake .. && \
    cmake --build . --target install

# symlink clang (from base image)
RUN ln -s /clang-8.0/bin/clang run/bin/clang
RUN ln -s /clang-8.0/bin/clang++ run/bin/clang++

ENV PATH "/deps/LLVM-8.0.1-Linux/bin:$PATH"
ENV PATH "/clam/build/run/bin:$PATH"

# run tests
RUN cmake --build . --target test-simple
RUN cmake --build . --target test-readme
RUN cmake --build . --target test-ssh-simplified
RUN cmake --build . --target test-ntdrivers-simplified


WORKDIR /clam


{'fraction_non_alphanumeric': 0.1486528336946423, 'fraction_numerical': 0.014555589965933726, 'mean_word_length': 2.185404339250493, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4874745', 'n_tokens_mistral': 1288, 'n_tokens_neox': 1229, 'n_words': 282}