mirror of
https://github.com/kanaka/mal.git
synced 2024-09-11 13:55:55 +03:00
Dockerize SML, make dist
This commit is contained in:
parent
d000ac7398
commit
177940d90c
23
impls/sml/Dockerfile
Normal file
23
impls/sml/Dockerfile
Normal file
@ -0,0 +1,23 @@
|
||||
FROM ubuntu:bionic
|
||||
|
||||
##########################################################
|
||||
# General requirements for testing or common across many
|
||||
# implementations
|
||||
##########################################################
|
||||
|
||||
RUN apt-get -y update
|
||||
|
||||
# Required for running tests
|
||||
RUN apt-get -y install make python
|
||||
|
||||
# Some typical implementation and test requirements
|
||||
RUN apt-get -y install curl libreadline-dev libedit-dev
|
||||
|
||||
RUN mkdir -p /mal
|
||||
WORKDIR /mal
|
||||
|
||||
##########################################################
|
||||
# Specific implementation requirements
|
||||
##########################################################
|
||||
|
||||
RUN apt-get -y install polyml libpolyml-dev
|
@ -32,6 +32,11 @@ endif
|
||||
|
||||
all: $(STEP_BINS)
|
||||
|
||||
dist: mal
|
||||
|
||||
mal: stepA_mal
|
||||
cp $< $@
|
||||
|
||||
.%.dep: %.mlb
|
||||
@echo sml-deps -o $@ $<
|
||||
$(eval DEPS := $(shell grep "\\.sml" $<))
|
||||
|
Loading…
Reference in New Issue
Block a user