c-FuSa/Dockerfile at main · SoundMatt/c-FuSa · GitHub

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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
# syntax=docker/dockerfile:1
#
# Multi-stage build for c-FuSa.
# Stage 1 compiles the cfusa binary with CMake + Ninja.
# Stage 2 produces a minimal Alpine runtime image.
#
# Build:
#   docker build -t c-fusa .
#
# Run (mount your C project at /project):
#   docker run --rm -v "$(pwd)":/project c-fusa check --dir /project/src
#   docker run --rm -v "$(pwd)":/project c-fusa lint
#   docker run --rm -v "$(pwd)":/project c-fusa trace
#   docker run --rm -v "$(pwd)":/project c-fusa release

# ── Stage 1: build ────────────────────────────────────────────────────────────
FROM alpine:3.20 AS builder

RUN apk add --no-cache \
    cmake ninja build-base git

WORKDIR /build

# Copy source tree
COPY . .

RUN cmake -B build \
      -DCMAKE_BUILD_TYPE=Release \
      -DCMAKE_EXE_LINKER_FLAGS="-static-libgcc" \
      -G Ninja \
    && cmake --build build --parallel \
    && strip build/cfusa

# ── Stage 2: runtime ─────────────────────────────────────────────────────────
FROM alpine:3.20

# git for impact/provenance; zip for audit-pack; ca-certificates for TLS.
RUN apk add --no-cache git zip ca-certificates

COPY --from=builder /build/build/cfusa /usr/local/bin/cfusa

# CFUSA_VERSION / CFUSA_SPEC_VERSION are injected by CI (see
# .github/workflows/docker-publish.yml) from the release tag and
# include/cfusa/version.h respectively, so the labels below always track the
# real version instead of drifting from a hardcoded string. The defaults are
# only a fallback for local `docker build` without --build-arg.
ARG CFUSA_VERSION=0.0.0-dev
ARG CFUSA_SPEC_VERSION=0.0.0-dev

LABEL org.opencontainers.image.title="c-FuSa" \
      org.opencontainers.image.description="C functional safety toolkit (ISO 26262, IEC 61508, DO-178C, MISRA-C)" \
      org.opencontainers.image.source="https://github.com/SoundMatt/c-FuSa" \
      org.opencontainers.image.licenses="MPL-2.0" \
      org.opencontainers.image.vendor="SoundMatt" \
      org.opencontainers.image.version="${CFUSA_VERSION}" \
      io.x-fusa.tool="c-FuSa" \
      io.x-fusa.language="c" \
      io.x-fusa.binary="cfusa" \
      io.x-fusa.spec-version="${CFUSA_SPEC_VERSION}"

# Default working directory is /project; mount your C project here.
WORKDIR /project

ENTRYPOINT ["cfusa"]
CMD ["help"]