mirror of
https://github.com/kanaka/mal.git
synced 2024-08-17 09:40:21 +03:00
SML CI: add mosml, mlton, setup GitHub workflow
This commit is contained in:
parent
9798302546
commit
7e015062a9
@ -89,6 +89,9 @@ IMPL:
|
||||
- {IMPL: scheme, scheme_MODE: cyclone}
|
||||
# - {IMPL: scheme, scheme_MODE: foment}
|
||||
- {IMPL: skew}
|
||||
- {IMPL: sml, sml_MODE: polyml}
|
||||
- {IMPL: sml, sml_MODE: mlton}
|
||||
- {IMPL: sml, sml_MODE: mosml}
|
||||
- {IMPL: tcl}
|
||||
- {IMPL: ts}
|
||||
- {IMPL: vala}
|
||||
|
@ -1,4 +1,5 @@
|
||||
FROM ubuntu:bionic
|
||||
# We need focal for the Moscow ML PPA
|
||||
FROM ubuntu:focal
|
||||
|
||||
##########################################################
|
||||
# General requirements for testing or common across many
|
||||
@ -20,4 +21,11 @@ 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
|
||||
|
Loading…
Reference in New Issue
Block a user