Commit 05e72dd9 authored by Jun Furuse's avatar Jun Furuse

Docker image support

parent e5d15220
Pipeline #114378076 passed with stage
in 8 minutes and 21 seconds
......@@ -8,3 +8,4 @@ _build
_opam
\#*\#
.\#*
docker/Dockerfile
......@@ -72,4 +72,5 @@ RUN du -sh /usr /scaml /root /var
RUN SCAMLIB=/scaml/_opam/lib/scaml /scaml/_opam/bin/scamlc /scaml/src/tests/app_vote.ml && echo OK
ENV SCAMLIB /scaml/_opam/lib/scaml
ENV PATH /scaml/_opam/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
WORKDIR /root
CMD [ "scamlc", "--scaml-version" ]
# Build
```
./build.sh <commit>
```
should build an image `dailambda/scaml:<commit>`
# Basic use
```
$ docker run dailambda/scaml:<commit> scamlc <args>
```
For example,
```
$ ls xxx.ml
xxx.ml
$ docker run -v `pwd`:/root dailambda/scaml:1.0.3 scamlc xxx.ml
```
......@@ -9,4 +9,5 @@ if [ -z $COMMIT ]; then
fi
sed -e "s/@COMMIT@/$COMMIT/g" Dockerfile.in > Dockerfile
echo docker build --squash=true -t dailambda/scaml:$COMMIT .
docker build --squash=true -t dailambda/scaml:$COMMIT .
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment