2021-04-18 18:17:55 +03:00
|
|
|
# We need focal for the Moscow ML PPA
|
|
|
|
FROM ubuntu:focal
|
2021-04-07 15:29:39 +03:00
|
|
|
|
|
|
|
##########################################################
|
|
|
|
# General requirements for testing or common across many
|
|
|
|
# implementations
|
|
|
|
##########################################################
|
|
|
|
|
|
|
|
RUN apt-get -y update
|
2022-02-01 20:40:35 +03:00
|
|
|
RUN apt-get -y install make python3
|
|
|
|
RUN ln -s /usr/bin/python3 /usr/local/bin/python
|
2021-04-07 15:29:39 +03:00
|
|
|
|
|
|
|
RUN mkdir -p /mal
|
|
|
|
WORKDIR /mal
|
|
|
|
|
|
|
|
##########################################################
|
|
|
|
# Specific implementation requirements
|
|
|
|
##########################################################
|
|
|
|
|
2021-04-18 18:17:55 +03:00
|
|
|
RUN apt-get -y install software-properties-common
|
|
|
|
|
2021-04-07 15:29:39 +03:00
|
|
|
RUN apt-get -y install polyml libpolyml-dev
|
2021-04-18 18:17:55 +03:00
|
|
|
|
|
|
|
RUN apt-get -y install mlton
|
|
|
|
|
|
|
|
RUN add-apt-repository -y ppa:kflarsen/mosml
|
|
|
|
RUN apt-get -y install mosml
|