mirror of
https://github.com/kanaka/mal.git
synced 2024-08-17 09:40:21 +03:00
c9f7b5a1f8
Explictly select python 3. The `python2` and `python` packages will
be removed from Ubuntu. Until each call site is fixed, install a
/usr/local/bin/python symbolic link as a non-intrusive work-around
(.deb packages do not interfer with /usr/local).
Add an explicit maintainer for bbc-basic.
Undo some cosmetic changes in order to reduce the global diff, this
merge request will probably be sqashed before acceptance.
Move lib{readline,edit}-dev out of the generic part.
Use existing .deb packages for GHDL and vim.
28 lines
749 B
Docker
28 lines
749 B
Docker
# We need focal for the Moscow ML PPA
|
|
FROM ubuntu:focal
|
|
|
|
##########################################################
|
|
# General requirements for testing or common across many
|
|
# implementations
|
|
##########################################################
|
|
|
|
RUN apt-get -y update
|
|
RUN apt-get -y install make python3
|
|
RUN ln -s /usr/bin/python3 /usr/local/bin/python
|
|
|
|
RUN mkdir -p /mal
|
|
WORKDIR /mal
|
|
|
|
##########################################################
|
|
# Specific implementation requirements
|
|
##########################################################
|
|
|
|
RUN apt-get -y install software-properties-common
|
|
|
|
RUN apt-get -y install polyml libpolyml-dev
|
|
|
|
RUN apt-get -y install mlton
|
|
|
|
RUN add-apt-repository -y ppa:kflarsen/mosml
|
|
RUN apt-get -y install mosml
|