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

[Android / Termux] Failed to install utop #5460

Closed
anzhi0708 opened this issue Mar 4, 2023 · 3 comments
Closed

[Android / Termux] Failed to install utop #5460

anzhi0708 opened this issue Mar 4, 2023 · 3 comments

Comments

@anzhi0708
Copy link

Environment

  • Termux proot-distro Alpine Linux, with musl-dev installed
  • Alpine Linux v3.17 aarch64, Kernel: 5.4.0-faked (neofetch output)
  • opam install dune was successful
  • Android 11, kernel version 4.14.186, aarch64, MIUI 12.5.11.0 (Redmi Note 11 5G)

Opam Config

opam config report

[WARNING] Running as root is not recommended
# opam config report
# opam-version         2.1.4
# self-upgrade         no
# system               arch=arm64 os=linux os-distribution=android os-version=11
# solver               builtin-mccs+glpk
# install-criteria     -removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed
# upgrade-criteria     -removed,-count[avoid-version,changed],-count[version-lag,solution],-count[missing-depexts,changed],-new
# jobs                 7
# repositories         1 (http) (default repo at 2370128e)
# pinned               0
# current-switch       /root/ocaml
[NOTE] External dependency handling not
       supported for OS family 'android'.
       You can disable this check using 'opam
       option --global depext=false'
# ocaml:native         true
# ocaml:native-tools   true
# ocaml:native-dynlink true
# ocaml:stubsdir       /root/ocaml/_opam/lib/ocaml/stublibs:/root/ocaml/_opam/lib/ocaml
# ocaml:preinstalled   false
# ocaml:compiler       5.1.0+trunk

Error Message

(Skipping...)

# File "src/lib/uTop_main.ml", lines 680-683, characters 29-46:
# Warning 8 [partial-match]: this pattern-matching is not exhaustive.
# Here is an example of a case that is not matched:
# Pextra_ty (_, _)
#
# File "src/lib/uTop_main.ml", line 1594, characters 2-34:
# Error: Unbound value Topcommon.load_topdirs_signature



<><> Error report <><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build utop 2.11.0
└─
┌─ The following changes have been performed
│ ∗ install base-bytes        base
│ ∗ install cppo              1.6.9
│ ∗ install csexp             1.5.1
│ ∗ install dune-configurator 3.7.0
│ ∗ install lambda-term       3.3.1
│ ∗ install logs              0.7.0
│ ∗ install lwt               5.6.1
│ ∗ install lwt_react         1.2.0
│ ∗ install mew               0.1.0
│ ∗ install mew_vi            0.5.0
│ ∗ install ocamlbuild        0.14.2
│ ∗ install ocamlfind         1.9.5
│ ∗ install ocplib-endian     1.2
│ ∗ install react             1.2.2
│ ∗ install result            1.5
│ ∗ install topkg             1.0.7
│ ∗ install trie              1.0.0
│ ∗ install uchar             0.0.2
│ ∗ install uucp              15.0.0
│ ∗ install uuseg             15.0.0
│ ∗ install uutf              1.0.3
│ ∗ install zed               3.2.1
└─

The former state can be restored with:
    /usr/bin/opam switch import
"/root/ocaml/_opam/.opam-switch/backup/state-20230304115026.export"
@kit-ty-kate
Copy link
Member

Hi, this is not a problem with opam (the tool) but with a package (in this case utop itself). Could you close this and open a ticket at https://github.com/ocaml-community/utop/issues ?

@anzhi0708
Copy link
Author

Hi, this is not a problem with opam (the tool) but with a package (in this case utop itself). Could you close this and open a ticket at https://github.com/ocaml-community/utop/issues ?

Oh sorry, just saw your reply, I was busy these days. Thanks a lot for your work :3

@anzhi0708
Copy link
Author

Hi, this is not a problem with opam (the tool) but with a package (in this case utop itself). Could you close this and open a ticket at https://github.com/ocaml-community/utop/issues ?

You even posted the issue for me, omg that's so kind of you! Thanks a lot!

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

4 participants