learn-ocaml

How to deploy a learn-ocaml instance

This section explains how to deploy an instance of the learn-ocaml platform on a server.

Using pre-built docker images

Assuming your exercise repository is in directory REPOSITORY, you can either:

NB: Do not forget to escape : if it appears in REPOSITORY to avoid a parsing error of the command line arguments.

A remark about security

As a reminder, the Docker deamon’s socket is owned by default by root. Hence, these scripts cannot work without sudo or adding your current user to the group docker. For more information, see post installation steps for Linux from the documentation. In any case, be advised there exists security flaws in the Docker daemon (see documentation).

Manual compilation

Note: you need a working opam environment (at least 2.0.0~rc2).