mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-10-26 14:20:59 +03:00
10 lines
331 B
Docker
10 lines
331 B
Docker
FROM python:3.7
|
|
# Intended to be built from the root of the cryptol git repository
|
|
|
|
COPY cryptol-remote-api/python python
|
|
RUN pip3 install 'poetry==1.1.5'
|
|
RUN cd python && poetry install
|
|
COPY cryptol-remote-api/test-cryptol-remote-api.py /python/entrypoint.py
|
|
WORKDIR /python
|
|
ENTRYPOINT ["poetry", "run", "python","entrypoint.py"]
|