Closed nobrowser closed 7 years ago
which version of OPAM do you have installed? Is it 1.2.0+?
On 28 Jun 2015, at 01:44, Ian Zimmerman notifications@github.com wrote:
I am trying to follow the instructions here:
https://github.com/whitequark/opam-android/blob/master/README.md https://github.com/whitequark/opam-android/blob/master/README.md My build system is amd64 with Debian wheezy. I follow the instructions exactly, but:
eval opam config env [2+0]~$ eval opam config env [3+0]~$ ANDROID_LEVEL=21 ANDROID_ARCH=armv7 opam install ocaml-android Your request can't be satisfied:
No package matches ocaml-android. No solution found, exiting
Strangely,
[5+0]~$ opam list -a | fgrep ocaml-android ocaml-android -- A meta-package depending on any OCaml cross-comp ocaml-android32 -- OCaml cross-compiler for 32-bit Android targets
— Reply to this email directly or view it on GitHub https://github.com/ocaml/opam/issues/2226.
Built from git source at the 1.2 tag
(note: you can use opam list '*ocaml-android*'
, or opam search, rather than grep)
It's weird because the error you get is an error from the solver, that normally happens when you specify unsatisfiable version constraints. Opam would have failed earlier if no package by this name existed. Care to include opam config report
?
I have
OPAMUSEINTERNALSOLVER=1
would that make a difference?
Yes, please try with the external solver (e.g. aspcud). config report
?
@nobrowser Your problem is that you're trying to use a 32-bit compiler on a 64-bit switch. This won't work; do opam switch 4.02.3+32bit
first.
I am trying to follow the instructions here:
https://github.com/whitequark/opam-android/blob/master/README.md
My build system is amd64 with Debian wheezy. I follow the instructions exactly, but:
Strangely,