mirror of
https://github.com/pezkuwichain/revive.git
synced 2026-04-22 02:07:55 +00:00
wpt967
ad46e94ebd
Makefile: Add target 'install-revive' to build revive with the installation path specified by variable REVIVE_INSTALL_DIR. Add utils directory with scripts for building revive in a container. Add utils/build-revive.sh taking option argument '-o <install-dir>' to build revive with the specified install directory. Add utils/revive-builder-debian.dockerfile to make a docker container for building revive in a Debian environment.
15 lines
445 B
Docker
15 lines
445 B
Docker
# syntax=docker/dockerfile:1
|
|
# Dockerfile for building revive in a Debian container.
|
|
FROM debian:12
|
|
RUN <<EOF
|
|
apt-get update
|
|
apt-get install -q -y build-essential cmake make ninja-build python3 \
|
|
libmpfr-dev libgmp-dev libmpc-dev ncurses-dev \
|
|
git curl
|
|
EOF
|
|
ARG RUST_VERSION=stable
|
|
RUN <<EOF
|
|
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --default-toolchain ${RUST_VERSION}
|
|
EOF
|
|
ENV PATH=/root/.cargo/bin:${PATH}
|