-
Notifications
You must be signed in to change notification settings - Fork 10
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
opam installation incompatible with calmp4 #13
Comments
I'm afraid, but I haven't been able to replicate the problem. I've tried with the 4.03.0 opam switch though. You may want to consider upgrading, maybe this will solve your problem. If not, the problem doesn't seem to be related to the GSL package. Maybe there is an issue with the findlib configuration on your platform. If you find out how to solve the problem and it's something that can be changed in the GSL distribution, please feel free to submit a pull request. |
hi, thanks for the answer. I'm on a quasi-fresh install of Mint KDE 18 (ie ubuntu 16.04). |
|
Hi,
I am not able anymore to install gsl via opam due to a problem with finding camlp4.
if camlp4 is not installed,
opam install gsl
==> OKbut
opam install camlp4
opam install gsl
==> ERRORSee errog log below.
thanks!
The text was updated successfully, but these errors were encountered: