mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
db22e01a4a
if no Maven cache volume is specified for `docker run` GitOrigin-RevId: 893ece01b4e94d1fa862f6eb7e77237da910e918
48 lines
2.0 KiB
Docker
48 lines
2.0 KiB
Docker
# syntax=docker/dockerfile:1
|
|
FROM registry.jetbrains.team/p/ij/docker-hub/ubuntu:20.04@sha256:8e5c4f0285ecbb4ead070431d29b576a530d3166df73ec44affc1cd27555141b AS build_env
|
|
LABEL Description="IDE Build Environment"
|
|
RUN apt-get update && \
|
|
apt-get install -y wget \
|
|
tar \
|
|
p7zip-full \
|
|
libfreetype6 \
|
|
fontconfig \
|
|
zip \
|
|
unzip \
|
|
libgl1-mesa-glx \
|
|
squashfs-tools \
|
|
# IJPL-173242
|
|
git \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
# optional volume to reuse Maven cache from the host
|
|
VOLUME /home/ide_builder/.m2
|
|
# the home directory should exist and be writable for any user used to launch a container because it is required for the IDE
|
|
RUN useradd --create-home ide_builder && \
|
|
# the .m2 directory should be initialized with something \
|
|
# otherwise the `chmod` effect is discarded if no Maven cache volume is specified for `docker run`
|
|
mkdir -p /home/ide_builder/.m2/repository && \
|
|
chmod --recursive a+rwx /home/ide_builder
|
|
# for jps-bootstrap itself
|
|
ENV BOOTSTRAP_SYSTEM_PROPERTIES="-Duser.home=/home/ide_builder"
|
|
# Community sources root
|
|
VOLUME /community
|
|
WORKDIR /community
|
|
# the repository has to be specified as a safe directory,
|
|
# otherwise git calls will detect dubious ownership (see https://github.com/git/git/blob/master/Documentation/config/safe.txt),
|
|
# if the container's user doesn't match the host's user (no `--user "$(id -u)"` argument is supplied for `docker run`)
|
|
RUN git init /community && \
|
|
git config --global --add safe.directory /community && \
|
|
rm -rf /community/.git
|
|
|
|
FROM build_env AS tests_env
|
|
LABEL Description="Tests Environment"
|
|
ENTRYPOINT ["/bin/sh", "./tests.cmd", "-Duser.home=/home/ide_builder"]
|
|
|
|
FROM build_env AS intellij_idea
|
|
LABEL Description="IntelliJ IDEA Build Environment"
|
|
ENTRYPOINT ["/bin/sh", "./installers.cmd", "-Duser.home=/home/ide_builder"]
|
|
|
|
FROM build_env AS pycharm
|
|
LABEL Description="PyCharm Build Environment"
|
|
ENTRYPOINT ["/bin/sh", "./python/installers.cmd", "-Duser.home=/home/ide_builder"]
|