cpp2rust-docker/cpp2rust-docker.sh at master · igastorm/cpp2rust-docker

Repository navigation

executable file

35 lines (32 loc) · 1.29 KB

# cpp2rust-docker.sh — run the cpp2rust Docker image.
# Mounts the current directory into the container at the same absolute path
# and runs the container as your UID/GID, so relative and absolute host
# paths keep working and generated files keep the right ownership:
#   ./cpp2rust-docker.sh --file=hello.cpp -o=hello.rs
#   ./cpp2rust-docker.sh --dir=build -o=out.rs
# The image can be overridden with CPP2RUST_IMAGE:
#   CPP2RUST_IMAGE=cpp2rust:latest ./cpp2rust-docker.sh --file=hello.cpp -o=hello.rs
# NOTE: every translated input/output path must live under the current
# directory (that is what gets mounted). In particular, the absolute paths
# recorded in compile_commands.json must match the host layout, so run from
# the project root. A fixed mount point such as /work would break --dir.
if ! command -v docker >/dev/null 2>&1; then
  echo "error: docker not found in PATH" >&2
IMAGE="${CPP2RUST_IMAGE:-cpp2rust}"
# --read-only: the container never writes to its own filesystem, so it stays
# reusable. Anything that must be writable (temp files, caches) goes to the
# tmpfs mounted at /tmp; inputs/outputs live on the mounted work directory.
exec docker run --rm --read-only --tmpfs /tmp \
  -u "$(id -u):$(id -g)" \
  -v "$PWD:$PWD" \
  -w "$PWD" \
  "$IMAGE" "$@"

FilesExpand file tree

cpp2rust-docker.sh

Latest commit

History

cpp2rust-docker.sh

File metadata and controls