23 lines
772 B
Docker
23 lines
772 B
Docker
# syntax=docker/dockerfile:1
|
|
|
|
FROM focs.ji.sjtu.edu.cn:5000/gitea/runner-images:ubuntu-latest
|
|
|
|
# install elm
|
|
RUN curl -L -o elm.gz https://mirror.ghproxy.com/https://github.com/elm/compiler/releases/download/0.19.1/binary-for-linux-64-bit.gz \
|
|
&& gunzip elm.gz \
|
|
&& chmod +x elm \
|
|
&& mv elm /usr/local/bin/
|
|
|
|
# install elm-format
|
|
RUN curl -L -o elm-format.tgz https://mirror.ghproxy.com/https://github.com/avh4/elm-format/releases/download/0.8.7/elm-format-0.8.7-linux-x64.tgz \
|
|
&& tar -xvf elm-format.tgz \
|
|
&& chmod +x elm-format \
|
|
&& mv elm-format /usr/local/bin/
|
|
|
|
# install joint-teapot
|
|
RUN pip install git+https://mirror.ghproxy.com/https://github.com/BoYanZh/Joint-Teapot
|
|
|
|
# TODO: install elf & joj3 & other binarys
|
|
|
|
COPY bin/* /usr/local/bin/
|