Closed joelreymont closed 8 years ago
Yes. tgls is expected to be broken right now. I should probably remove it.
Is there a way to fix it? Should I attempt it?
Yes. With the freshly updated ctypes it should be possible to build unmodified tgls.
Anyway, feel free to remove this issue. I'll log one against tgls for correctness.
I'll try to submit a PR against the other ticket.
I'll log one against tgls for correctness.
This is not a problem with tgls. Right now opam-cross-android is trying to build a hacky fork of tgls that I wrote (and it was not an approach that worked).
I guess I may still need to fix the build system on 32-bit platforms. Now that topkg
's overhaul has been done, I'll fix that.