Closed sanette closed 7 years ago
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). In fact, after installing the ubuntu camlp4 package via 'apt-get install camlp4', then it works. Good. [But this is not supposed to work like this, right ? I thought opam camlp4 installation should be enough, and in fact I thought it was not a good practice to install ubuntu packages along the way.]
opam camlp4
should do the job. Maybe findlib
is configured or even installed differently on your platform, which is why it expected to find camlp4
in the system path rather than in your local opam
installation. Anyway, I don't think this issue requires any changes to the GSL-library itself. Feel free to reopen the issue if necessary.
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
==> OK butopam install camlp4
opam install gsl
==> ERRORSee errog log below.
thanks!