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

opam init on android #5771

Open
Kingsley-Eghianruwa opened this issue Dec 25, 2023 · 1 comment
Open

opam init on android #5771

Kingsley-Eghianruwa opened this issue Dec 25, 2023 · 1 comment

Comments

@Kingsley-Eghianruwa
Copy link

good day.
please when i run opam init i get the following error ``` No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.

  • you won't be able to use mercurial repositories unless you install the hg
    command on your system.
  • you won't be able to use darcs repositories unless you install the darcs
    command on your system.

Fatal error: Undefined boolean filter value: !(os = "openbsd" | os = "freebsd") ```.
i manually created the ~/.opam/config file but could not install packages due to a switch error and i could not create a new switch

please how do i resolve this.

i am trying to instal ocaml on an android tablet(8.0) via termux

# opam config report
# opam-version         2.1.5
# self-upgrade         no
# system               arch=unknown os=unknown os-distribution=unknown os-version=unknown
[ERROR] Opam has not been initialised, please run `opam init'
# read-state           OpamStd.OpamSys.Exit(50)
@rjbou
Copy link
Collaborator

rjbou commented Jan 2, 2024

Unfortunately, there is no way for the moment to give a good hint to bypass that issue. We'll be able to get back with a code fix that permit to set the os variable when it is undefined.
If you have an OCaml compiler, can you share the value of Sys.os_type on android?

On the manually created ~/.opam/config file, can you share it? Maybe we can help with some internal changes to unblock you.

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

No branches or pull requests

3 participants