On Thu, Mar 14, 2019 at 4:20 PM Spiwack, Arnaud <arnaud.spiwack@tweag.io> wrote:
  • The -c option should be the default. 
Very strong -1 from me on this one; I've been quite vocal on the Hadrian issue tracker early on and multiple times against having Hadrian invoke ./configure at all, even more so against having it do so by default. I don't have the ticket number at my fingertips but it should be fairly easy to find.