-
Notifications
You must be signed in to change notification settings - Fork 8
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
Error when using the Platform Installer on Debian #156
Comments
What is your version of Opam ? ( |
My version of Opam is 2.0.8. Running
|
Hello and thanks for the report!
It is quite strange, since the packages are on a local Could you paste the output of |
I'm using This is the verbose output of the command, obtained with
My repositories list (
|
Thanks. Unfortunately, Could you check the content one of the opam file corresponding to the package to install, e.g. For instance in my case: $ cat ~/.opam/plugins/ocaml-platform/cache/repo/packages/odoc/odoc.2.2.0-ocaml5.0.0+platform/opam
opam-version: "2.0"
name: "odoc"
depends: [
"ocaml-system" {= "5.0.0"} | "ocaml-variants" {= "5.0.0"} |
"ocaml-base-compiler" {= "5.0.0"}
]
available: arch = "x86_64" & os-distribution = "ubuntu"
url {
src:
"/home/<user>/.opam/plugins/ocaml-platform/cache/archives/odoc.2.2.0-ocaml5.0.0+platform.tar.gz"
} shows the archive is supposed to be in $ ls /home/<user>/.opam/plugins/ocaml-platform/cache/archives/
dune-release.1.6.2+platform.tar.gz ocaml-lsp-server.1.13.2~5.0preview-ocaml5.0.0+platform.tar.gz
ocamlformat.0.22.4+platform.tar.gz ocaml-lsp-server.1.14.2-ocaml4.14.0+platform.tar.gz
ocamlformat.0.24.1+platform.tar.gz odoc.2.1.1-ocaml4.14.0+platform.tar.gz
ocamlformat.0.25.1+platform.tar.gz odoc.2.2.0-ocaml5.0.0+platform.tar.gz If your To make |
Here is the contents of the opam file for one of the packages: $ cat ~/.opam/plugins/ocaml-platform/cache/repo/packages/odoc/odoc.2.2.0-ocaml5.0.0+platform/opam
opam-version: "2.0"
name: "odoc"
depends: [
"ocaml-system" {= "5.0.0"} | "ocaml-variants" {= "5.0.0"} |
"ocaml-base-compiler" {= "5.0.0"}
]
available: arch = "x86_64" & os-distribution = "debian"
url {
src:
"/home/<user>/.opam/plugins/ocaml-platform/cache/archives/odoc.2.2.0-ocaml5.0.0+platform.tar.gz"
The local archive is indeed where indicated:
As you can see, I have similar results to yours. After wiping the cache by deleting |
What's happening is really strange! Could you install one of the platform package directly with opam?
and report the result? (And if |
Installing one of the packages directly in verbose mode gave me this:
And indeed, Because it is listed in the Debian repos as "only" a recommendation and not a dependency, I was able to install I am happy to report the platform installer now works correctly. Thank you for your help! |
Looking into this issue on a clean environment, I saw that the installation instructions given on the OCaml site (they are the ones I followed) are different from the ones on GitHub. The OCaml site gives $ sudo apt install build-essential bubblewrap unzip The GitHub Readme gives a different command:
Both Additionally, the |
I'm glad I was able to help! Indeed, I will also open an issue on ocaml.org. One issue that remains is that |
Hello, I encountered an error when using the Platform Installer.
I am using Debian 11.
I installed Opam with the distribution's package, then tried using the Platform Installer.
After successfully executing
install-platform.sh
, runningocaml-platform
yielded this output:Please let me know if you need further information.
The text was updated successfully, but these errors were encountered: