Installation instructions: opam depext ocsigen-start is too greedy

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

Installation instructions: opam depext ocsigen-start is too greedy #116

Closed lionelvaux closed 3 years ago

lionelvaux commented 3 years ago

Salut,

Current installation instructions suggests to run opam depext ocsigen-start to install system dependencies. This is not really a good choice as this forces the installation of postgresql, which seems to be the default ocsipersist backend for ocsigen-start whereas you rely on the sqlite backend.

Maybe a finer grained description of dependencies would be better.

lionelvaux commented 3 years ago

PR #117 proposes reworked installation instructions that install just what we need

etiennecallies commented 3 years ago

Thanks!