We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
im trying in ubuntu,i tied to fix it,but i coudnt,plz help here
The text was updated successfully, but these errors were encountered:
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
conf-gmp
libgmp-dev
apt
test.c
gmp.h
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.
sudo apt install libgmp-dev
One explanation could be that you initially answered no when asked whether opam should be allowed to manage installation of system packages.
no
opam
Sorry, something went wrong.
No branches or pull requests
im trying in ubuntu,i tied to fix it,but i coudnt,plz help here
The text was updated successfully, but these errors were encountered: