I am trying to install the last version of Coq (8.13.1) using the Coq Platform under Linux Mint 19 Cinnamion, following the instructions here platform/README_Linux.md at 2021.02 · coq/platform · GitHub
I used to install Coq from source and I have already cleaned by computer from old versions and files.
I had encountered several issues that I have already solved but I can’t manage to get a clean installation.
The error I have is the following:
Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build conf-gmp 3
┌─ The following changes have been performed (the rest was aborted)
│ ∗ install conf-findutils 1
│ ∗ install num 1.4
│ ∗ install ocamlfind 1.9.1
giving me the fatal error
1 # context 2.0.8 | linux/x86_64 | ocaml-base-compiler.4.07.1 | https://opam.ocaml.org#8b0c6c8d
2 # path ~/.opam/coq-platform.2021.02.0/.opam-switch/build/conf-gmp.3
3 # command ~/.opam/opam-init/hooks/sandbox.sh build sh -exc cc -c $CFLAGS -I/usr/local/include test.c
4 # env-file ~/.opam/log/conf-gmp-5672-8b8a2d.env
5 # output-file ~/.opam/log/conf-gmp-5672-8b8a2d.out
1 + cc -c -I/usr/local/include test.c
2 test.c:1:10: fatal error: gmp.h: No such file or directory
3 #include <gmp.h>
5 compilation terminated.
I also made
opam install conf-gmp
having the same error.
Could someone point me to a piece of advice to solve this?
Thanks in advance!