Closed ygrek closed 5 years ago
build fails on all linux because of
The following dependencies couldn't be met:
- ctypes -> integers >= 0.3.0
Your request can't be satisfied:
- No package matches integers>=0.3.0.
idk why
It seems that the latest integers release is not available via OPAM 1.2, which is still used in the CI scripts.
is it a blocking problem?
Yes, we rely on the Travis build working. Let's see whether #602 fixes it.
one of the errors now is :
[ERROR] Unconvertible 'available:' disjunction in
/home/travis/.opam/repo/android/packages/ocaml-android32.4.04.0/opam
the other one is :
/usr/bin/ld: cannot find -lintegers_stubs
but I don't see where integers
is installed, I suspect it is pre-0.3.0 version installed in image and not upgraded
The Android build has been broken for a little while (see #581, although the error seems to have changed since that report).
but I don't see where integers is installed, I suspect it is pre-0.3.0 version installed in image and not upgraded
Your suspicion is correct. I've updated the image (https://github.com/yallop/ocaml-ctypes-qemu-arm-base-dockerfile/commit/9b13550e6ad744b96d0c0f9673b8ff113eb02844) and the build now succeeds.
Thanks for the fix, @ygrek!
ref #599