Following a fresh install of Ubuntu 18.04, I followed the instructions here http://dev.realworldocaml.org/install.html to install OPAM. I needed to install an extra package:
I think the proper fix to that is to suggest using opam depext to get the packages external dependencies rather than suggesting to install libgmp which isn't required by opam.
Following a fresh install of Ubuntu 18.04, I followed the instructions here http://dev.realworldocaml.org/install.html to install OPAM. I needed to install an extra package:
i.e. change
sudo apt-get install curl build-essential m4 zlib1g-dev libssl-dev ocaml ocaml-native-compilers opam
tosudo apt-get install curl build-essential m4 zlib1g-dev libssl-dev ocaml ocaml-native-compilers opam libgmp-dev
If I did not do this, when trying to run:
opam install async yojson core_extended core_bench cohttp async_graphics cryptokit menhir
I would encounter an error (the dependency
conf-gmp
relied on a missing external system dependency i.e. libgmp-dev). Note, I was using opam 4.06.1 .