README.md: explain what to do if ocaml is outdated

ComputerAidedLL / click-and-collect

A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml

GNU Lesser General Public License v2.1

17 stars 2 forks source link

Closed lionelvaux closed 3 years ago

lionelvaux commented 3 years ago

By default, Debian 10 ships with ocaml version 4.05.0, which is not enough to build ocsigen-start.

The commit includes a paragraph after the installation instructions to explain how to fix this using opam.

This is not really an issue about click-and-collect but this info might be useful for those users that are not used to opam.

lionelvaux commented 3 years ago

subsumed by PR #117