Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

The compilation of conf-gmp.4 failed at "sh -exc cc -c $CFLAGS -I/usr/local/include test.c". #25428

Open
Vinayakamk opened this issue Mar 7, 2024 · 1 comment

Comments

@Vinayakamk
Copy link

im trying in ubuntu,i tied to fix it,but i coudnt,plz help here

image

@jmid
Copy link
Contributor

jmid commented Mar 9, 2024

On Ubuntu conf-gmp should install libgmp-dev with your system package manager (apt on Ubuntu) and then try to compile an example test.c that depends on gmp.h.
You can find the opam file and the C-file here: https://github.com/ocaml/opam-repository/tree/master/packages/conf-gmp/conf-gmp.4

I'm guessing libgmp-dev is simply not installed on your machine.
So try to install it: sudo apt install libgmp-dev and then retry the opam install.

One explanation could be that you initially answered no when asked whether opam should be allowed to manage installation of system packages.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants