Stream: SerAPI

Topic: Use `ocmalfind` to install SerAPI


view this post on Zulip liao zhang (Sep 20 2020 at 11:02):

Hi, I am trying to use ocamlfind to install serlib but do not know the way to do that.
After using make to compile serapi, I get lots of compiled files.
To use ocamlfind, I need command like ocamlfind install p META m1.cmi m2.cmi p.cma
But serlib contains too many files, and the dependence among these files are very complicated.
Thus, I do not know how to use ocamlfind to install serlib. Could you give me some suggestions?

view this post on Zulip Emilio Jesús Gallego Arias (Sep 21 2020 at 08:59):

Hi, @liao zhang , the right way to install SerAPI is dune build -p coq-serapi && dune install coq-serapi


Last updated: Feb 06 2023 at 05:03 UTC