forked from seahorn/seahorn
-
Notifications
You must be signed in to change notification settings - Fork 0
/
seahorn-builder.Dockerfile
43 lines (39 loc) · 1.47 KB
/
seahorn-builder.Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
# SeaHorn builder image that builds binary SeaHorn release package
# Primarily used by the CI
# Arguments:
# - BASE-IMAGE: jammy-llvm14
# - BUILD_TYPE: Debug, RelWithDebInfo, Coverage
ARG BASE_IMAGE=jammy-llvm14
FROM seahorn/buildpack-deps-seahorn:$BASE_IMAGE
# Assume that docker-build is ran in the top-level SeaHorn directory
COPY . /seahorn
# Re-create the build directory that might have been present in the source tree
RUN rm -rf /seahorn/build /seahorn/debug /seahorn/release && \
mkdir /seahorn/build && \
# Remove any third-party dependencies that build process clones
rm -rf /seahorn/clam /seahorn/sea-dsa /seahorn/llvm-seahorn
WORKDIR /seahorn/build
ARG BUILD_TYPE=RelWithDebInfo
# Build configuration
RUN cmake .. -GNinja \
-DCMAKE_BUILD_TYPE=${BUILD_TYPE} \
-DZ3_ROOT=/opt/z3-4.8.9 \
-DYICES2_HOME=/opt/yices-2.6.1 \
-DCMAKE_INSTALL_PREFIX=run \
-DCMAKE_CXX_COMPILER=clang++-14 \
-DCMAKE_C_COMPILER=clang-14 \
-DSEA_ENABLE_LLD=ON \
-DCPACK_GENERATOR="TGZ" \
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON && \
cmake --build . --target extra && cmake .. && \
cmake --build . --target crab && cmake .. && \
cmake --build . --target install && \
cmake --build . --target units_z3 && \
cmake --build . --target units_yices2 && \
cmake --build . --target test_type_checker && \
cmake --build . --target test_hex_dump && \
cmake --build . --target package && \
units/units_z3 && \
units/units_yices2
ENV PATH "/seahorn/build/run/bin:$PATH"
WORKDIR /seahorn