Hi Sven, let’s try to get coq in first and then we can look at findlib? coq is a bit more self-contained so I think the testing might be easier than for findlib.
Some comments from me on the coq diff: > coq no longer needs patches should we not keep the -silent diff for regress tests? I seem to remember tests don’t show too much output and run for a very long time without the diff. > I didn't manually check the PLISTs, I just ran 'make update-plist' Unfortunately I think some more work is needed. I had also updated the port on my end recently and here’s my diff if you’d like to compare: http://dickman.org/openbsd/ports/compcert/coq.diff > github tarballs, which I'm not using (see my diff for github infrastructure)
