mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-12-25 09:52:30 +00:00
815f5599fc
Also, stop static linking for now, as it generates a lot of warnings with glibc. Signed-off-by: Thomas Leonard <thomas.leonard@docker.com>
24 lines
1.1 KiB
Docker
24 lines
1.1 KiB
Docker
FROM ocaml/opam@sha256:523988cb7ac4c51e1c6e2f00658686c320330000859f49e1ec8fe3d6df046a26
|
|
#FROM ocaml/opam:debian-9_ocaml-4.04.0
|
|
RUN opam pin add -yn capnp 'https://github.com/talex5/capnp-ocaml.git#demo2'
|
|
RUN opam pin add -yn capnp-rpc 'https://github.com/talex5/capnp-rpc.git#demo2'
|
|
RUN opam pin add -yn capnp-rpc-lwt 'https://github.com/talex5/capnp-rpc.git#demo2'
|
|
RUN opam depext -i -y jbuilder lwt cohttp astring tls capnp camlzip alcotest cohttp
|
|
RUN sudo apt-get install -y screen python-pip python-setuptools python-dev --no-install-recommends
|
|
RUN pip install cython pycapnp
|
|
ADD opam /home/opam/src/opam
|
|
RUN opam pin add -ny mypkg /home/opam/src
|
|
RUN opam install --deps-only mypkg
|
|
ENV JBUILD_STATIC=true
|
|
WORKDIR /home/opam/src
|
|
ADD . /home/opam/src
|
|
RUN sudo chown -R opam .
|
|
RUN opam config exec -- make
|
|
USER root
|
|
RUN cp _build/default/src/main.exe /usr/bin/https-unikernel-single && \
|
|
cp _build/default/src/store_main.exe /usr/bin/https-unikernel-store && \
|
|
cp _build/default/src/http_main.exe /usr/bin/https-unikernel-http && \
|
|
cp _build/default/src/tls_main.exe /usr/bin/https-unikernel-tls
|
|
USER opam
|
|
ENV SHELL=bash
|