search

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

compilation error: ocsigenserver.ext.ocsipersist-sqlite not found #115

Closed lionelvaux closed 3 years ago

lionelvaux commented 3 years ago

Salut,

By default (at least under Debian 10) opam install ocsigenserver does not build lib/ocsigenserver/extensions/ocsipersist-sqlite.*.

As a consequence, compiling following the current instructions fails at the following step:

ocsigenserver  -c local/etc/click_and_collect/click_and_collect-test.conf
ocsigenserver: ocsigen:main: Fatal - Findlib package ocsigenserver.ext.ocsipersist-sqlite not found: maybe you forgot <findlib path="..."/>?
make: *** [Makefile:58: test.byte] Error 53

I have no clue how to tell opam to build the ocsipersist-sqlite extension of the ocsigenserver package.

lionelvaux commented 3 years ago

Fixed it!

The package sqlite3 is not necessarily installed by opam install ocsigenserver because ocsigenserver only depends on "dbm" | "sqlite3" | "pgocaml". On the other hand, the configure script of ocsigenserver checks for the presence of sqlite3 to decide whether SQLite3 support must be built.

So we must do:

opam install sqlite3
opam install ocsigenserver # or opam reinstall ocsigenserver
lionelvaux commented 3 years ago

Installation instructions in PR #117 make this step clear

etiennecallies commented 3 years ago

Thanks!