[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 2/2] tools/ocaml: Default to useful build output

  • To: Elliott Mitchell <ehem+xen@xxxxxxx>, "xen-devel@xxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxx>
  • From: Christian Lindig <christian.lindig@xxxxxxxxxx>
  • Date: Mon, 20 Jul 2020 08:38:40 +0000
  • Accept-language: en-GB, en-US
  • Authentication-results: esa3.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none
  • Cc: Ian Jackson <Ian.Jackson@xxxxxxxxxx>, Edwin Torok <edvin.torok@xxxxxxxxxx>, "wl@xxxxxxx" <wl@xxxxxxx>, "dave@xxxxxxxxxx" <dave@xxxxxxxxxx>
  • Delivery-date: Mon, 20 Jul 2020 08:39:18 +0000
  • Ironport-sdr: YCz2V4wlFImdGbXhZA4JfiqRPt2c6cTIQAlD3kvWFtF9ReQGom9KCXD8j41if8SK4OKG8v9s13 SbD1QOp2y7SV2K8D0OHzS7QfdwtZAaXYnYtOIwODV1O+bDZDyWhTDR6c7zohjwCeYplLmAeXvt lL+SC8hx9N+TK5N2J2A4fAnnCSpAO8q/zo8CPwRBplv413oFX357zJl+xvOWHcpxk9LrzbAHAC 9xl1/wSEDQ1mGMpiNgd3vDbw7oe0wiRuzt1OI7Raw/pJZYSr5pUMfpYaJAuJ0Ud6A1oN8iYi9t yFI=
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Thread-index: AQHWXLQfZqk/9n2Ez0iUq9XU56BN2qkQJXHN
  • Thread-topic: [PATCH 2/2] tools/ocaml: Default to useful build output

> Time for a bit of controversy.

OCaml outside Xen has moved to a different model of building based on dune 
which is fast, declarative and reliable. The OCaml xenstore is stagnating 
because nobody with OCaml experience wants to touch it anymore. It would be 
beneficial for the health of the OCaml xenstore to split it out such that it 
could be worked on independently. You might argue that Make is still 
appropriate for building OCaml projects but the OCaml community has moved 
through several build systems, starting from Make, and learned the hard way 
that this is not an easy problem. After years of more-or-less successful build 
system the consensus is that dune is right one and it has resulted in 
combination with the Opam package manager the ecosystem to flourish. 
Alternatively, it would be possible to move OCaml xenstore to dune within the 
Xen tree but it would create a dependency on it.

-- C



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.