[michipili]

Also, I forgot to point out, I have an autoinstall script for bmake and bsdowl, it is here:

     https://github.com/michipili/anvil/blob/master/subr/anvil_travisci_autoinstall.sh

It will install both of them under ~/.local, so that you need to tweak your path accordingly, but you can choose another prefix with the `-p` flag, like

  sh anvil_travisci_autoinstall.sh -p "${HOME}"

If you want to customise it, you can trim most of the script (autoinstall_opam*) because you do not need this. :) And if you need something more specific, just ping me on the issue tracker for instance. :)

[m_mueller]

Hey thanks, that looks promising. I appreciate your help. I'll be busy with other stuff until around end of this year, but at some point I have to make my builds more flexible (allow any number of targets in the configurations / autodetect what's available on the machine). I'll look into it then.