On Thu, Jan 21, 2021 at 5:30 PM Jeremie Courreges-Anglas <[email protected]> wrote: > > > I suspect that most people caring about OCaml in ports have thought > about this before, hopefully they can share their ideas. :) >
Back in 2012, there was this idea from avsm and chrisz I believe: https://marc.info/?l=openbsd-ports&m=135177285703781&w=2 https://marc.info/?l=openbsd-ports&m=135307318613580&w=2 Maybe worth looking into reviving it? Not sure if it helps the unison case, but thought I'd at least point to the thread in case there are some useful ideas there. My request is that it doesn't make it harder for me to test coq and compcert updates on various platforms (i386, amd64, powerpc and aarch64 are the main ones of interest to me)
