2024-07-09 14:58:07 +02:00
|
|
|
# Configuration file to setup the Docker container of Redox
|
|
|
|
|
2017-09-02 21:51:46 +02:00
|
|
|
FROM rustlang/rust:nightly
|
2017-06-21 09:30:31 +02:00
|
|
|
|
2017-09-02 22:17:17 +02:00
|
|
|
ENV IMAGE_NAME=redox-os-docker
|
|
|
|
|
2017-09-02 21:51:46 +02:00
|
|
|
RUN set -ex; \
|
|
|
|
apt-get update; \
|
|
|
|
apt-get install -q -y --no-install-recommends \
|
|
|
|
apt-transport-https \
|
|
|
|
bison \
|
|
|
|
flex \
|
|
|
|
fuse \
|
|
|
|
gosu \
|
|
|
|
libfuse-dev \
|
|
|
|
nasm \
|
|
|
|
qemu-utils \
|
|
|
|
sudo \
|
|
|
|
texinfo \
|
2018-01-09 14:26:22 +01:00
|
|
|
autopoint \
|
2017-09-02 21:51:46 +02:00
|
|
|
git \
|
2017-10-24 20:53:06 +02:00
|
|
|
cmake \
|
2018-10-28 12:59:35 +01:00
|
|
|
gperf \
|
|
|
|
libhtml-parser-perl \
|
2017-09-02 21:51:46 +02:00
|
|
|
; \
|
|
|
|
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys AA12E97F0881517F; \
|
|
|
|
echo "deb https://static.redox-os.org/toolchain/apt/ /" >> \
|
|
|
|
/etc/apt/sources.list.d/redox.list; \
|
|
|
|
apt-get update -o Dir::Etc::sourcelist="redox.list"; \
|
|
|
|
apt-get install -q -y --no-install-recommends \
|
|
|
|
x86-64-unknown-redox-newlib \
|
|
|
|
x86-64-unknown-redox-binutils \
|
|
|
|
x86-64-unknown-redox-gcc \
|
|
|
|
; \
|
|
|
|
cargo install cargo-config; \
|
2023-11-22 13:21:47 +01:00
|
|
|
cargo install just@1.16.0; \
|
2017-09-02 21:51:46 +02:00
|
|
|
apt-get autoremove -q -y; \
|
|
|
|
apt-get clean -q -y; \
|
|
|
|
rm -rf /var/lib/apt/lists/*
|
2017-07-24 17:15:45 +02:00
|
|
|
|
2017-09-02 22:17:17 +02:00
|
|
|
COPY entrypoint.sh /usr/local/bin/
|
|
|
|
COPY .bash_aliases /etc/skel/
|
2017-07-24 17:15:45 +02:00
|
|
|
|
2017-09-02 22:17:17 +02:00
|
|
|
ENTRYPOINT ["bash", "/usr/local/bin/entrypoint.sh"]
|
2017-09-02 21:51:46 +02:00
|
|
|
CMD ["/bin/bash"]
|