From 6f7d92d9fcf045245c7f064505091f44fbb9ea94 Mon Sep 17 00:00:00 2001 From: Rodi-Can Bozman Date: Tue, 27 May 2025 10:25:11 +0200 Subject: [PATCH] README: update doc. for the interface in https --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/README.md b/README.md index 58ff755..e4d7b58 100644 --- a/README.md +++ b/README.md @@ -143,6 +143,18 @@ Recompile/reinstall PGOCaml: opam reinstall pgocaml ``` +If the API fails to execute on an https server, install: + +``` +opam install tls-lwt +``` + +Recompile + +```sh +make interface +``` + ## Running Pandora - Technical documentation See the [infrastructure document](doc/infrastructure.md) for deploying the -- GitLab