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

Re: [PATCH v1 3/7] tools/ocaml/*/dune: dune based build system


  • To: Edwin Torok <edvin.torok@xxxxxxxxxx>
  • From: Christian Lindig <christian.lindig@xxxxxxxxxx>
  • Date: Mon, 1 Aug 2022 10:52:23 +0000
  • Accept-language: en-GB, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=citrix.com; dmarc=pass action=none header.from=citrix.com; dkim=pass header.d=citrix.com; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=2XLUE4svx/ybutnqksyx9pyhDvYHurmU1WwsMkb1Uf4=; b=L1Sx1P3Bbn3QftRO6mHZOV8HR2Ya0KQDGtxAYpmbXxnLDzylIBBIVPxE93+f2O1pxF3HhUhE1q7EiCn1WX34IJwyXnRiG2HqgtisdwZVolAsMJgzdXc3uiMnIeMOePB8Ix1rSrOFz+U5Zvj+BLh9HGO1E9gaQD41rlTG+quxqAPCs+Q9REhFch0hl3pP54/SpiZdhPJkDq0v/YWYqXiLdAnQlj6S4xi2LZ3HaQQi0AYZNPUHPittGUWTTOMYWwGk1nCr34/b6sL7+RG3YunZZ+zk4jK4Pl2v6NM+id/UHgkJ5H4Aswk4Y5zM4jSIJKSt7jCe5gDEDZBa1bB86esVIw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=hyk8LvIFfsIZy4kQfM875co8KCYvqF5JpxHvKVs6vmfbYmPcCwCJvokOanj4qaO1Mi7o5lSGFPrRvD02GPP6MAyPd6Z/c4ZZfFC/9E0TG3JvLlo8uawraquyX29YHR+XpM4kvYuvFuhTcXvPx6IFOR/rljyBOZ2e6x001JC9Ta985l0nsQcQJF8jnaGYohzZ5f1o+IgNxcWY4MFBVQG2CQhua8HwtM6vCvQge7scz0XdEBxEhkN2nWQApBP/8f3FEmYnfuYvXevmUH6WZRG6QFftUxLBPpEaaM8Wy34AkxovIeafoDo/HE9flOvPUhZPn93/LfYWqfvEBGBwK8xO1Q==
  • Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=citrix.com;
  • Cc: Xen-devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Wei Liu <wl@xxxxxxx>, Anthony Perard <anthony.perard@xxxxxxxxxx>, David Scott <dave@xxxxxxxxxx>
  • Delivery-date: Mon, 01 Aug 2022 10:52:45 +0000
  • Ironport-data: A9a23:+F6/aanjPZiQCaRNELo7Tmro5mJPLRMo1qJN2KgaY13mDjIBGkQclgwn+REjZJAM87pTkE+bXEGjtxahkUrByckTgtmrpdm46HCXu5yNXCIAvuOhtMdDXXG+x5wSVxvTLmYKLLN5gBafRTB8vwMJDrx8ZwDEtp+ztByX0LLqVFFr/D3Q1mnSL/EJDG/sOi+h4BQjf0tHB9S0CebrFqo8wbiSUEw64hbjQwws5cILZZ0m4eurcpDidLfcP4t5PeWmIWgeWgz8jvgxZTXxkbD0fGAN40OkGviZrCxtxVu5mNLwhjt8/Fbj+3JS7IZOIsh3hR7ONjf1JD4M6vdbE6Vyc/KPeB6/oAep3kyiS5crnNOQ4ltKj8NYw4HWkHC68q+K6hmnp6JrcUPTz0GN83fr4JLY87CQeJyrSsLv7OwObWd7g7YkTtZhzfcyVHOEQAzLBG1FgAHapWcP+m6HbI9rXzHa/hZEg6EZHR8dP2UpgG8IVAICwQf4B1ZU1dLtolVeR86vcQSV1C8mz1PYeRNpVPCauJWUA5Fgdw2JZqnEdV/2pBHQGyXfJgzUhPJOYMVBXnacMDGtMHNFUBbd4ELMJHLwW4oXH8sACgSr/I4L4T0U21TorqI+5LOZ8W8d9Ah244l1X5z9TPS6lXewgAkTgZUeqLlq5lw/EFCSP86kHnMf9bzD5n5ej7WvzvImxX+Y42Ixlw96W83Kgio/Ctq7CTTxjDbvfpQKvp9ln9z0NZa0NhVwCq0bnEHKl6iyJ44KTcydgG3mgCYTlP3l4R8zWgnYw0+AXWe+NpEu7CrRrzLpQA/SJVjK/++rwuz8xza0Mplcpdh8AYJY4w23QLlSEsUcuMFNVO2xwerojIABfcRP3z2FrzXmLY4qLfEgWnK4FsWBFJS61cJPPQ4lJozqNZbsHvU2g9WhqUJHwvnkMUcTpE+vSPSglpH3cRa6dxlgfkwF+eWdSEEDYc0pjDL87J16dSufJ5ggOXiLHuwMnoLZ9c0rWEjiTl62XPC58xVUm5di7IHZ1iJN1+hIecHlDj4fLj8+EjGUe4vwNyhGCQ8O7sztCSiy8ykJ9hzSj3q9o5+2mx11LVycoaljiRmQgItekhmtOJjVz4Y32P8qCK0S3wEg9q7HnA6+X0318UB8rgxUxEEDi7un8mlxjQ/5JN1eW6yElVLDGl3xOBfUzvARKx4fFNUOVfMMR73fuFgGP1FcvMKRAILC4TJwxGmwbS2dXbuh7L8+FcqpcLbk/mZ8imzfa4Gx9ya67oSIOtcx4gmyVjepk8hhNn5us1Q+8MC11D7EL2rVpWvF7O9myaVrwfhp+WSf+XXW7adlv9eLtKbztJzpZZihHW+sexdtykUtQnQ6XEIubtoFor49D5ioZGHcKjg1ZXf9WQaxy6QcY2REKRL+btAFeQlHWIg7uNJSPoTmjCZJlW/8pXEzxs8uaOqwOU9DVvVmimLGKzmXgrZeYnn37Tts22tW8Amqe2f1UbbEdi3G6UpK+Ys+cwJi/74RrJQDqkgGqP6p51PasDz8BEyGZ59YXg0S8bojOMcBpHi4VBiIFwd5eMGI5v6ysa0EFVlzERAY5cvkBeqvraEwnpt+5tw+Pva3iPvEL1CPZAUnToI8Jqrng2IMI9VuG0jVCTheM4Q9wh1+f/JLCxyaYJVrbJrhEczKBq3abtjuMUwm5MVT28IVUG7siObr+8wffq7mWzxx6dvWVNcoyGmY63NIOzZOn9n+W8MRotthLH9cuVupe4Jq60pOlt0QJMsz6AC8ZWp1URXw2n3zgBCWkxpm6KACbVt3tEGzp7q9o5cheFhLfoZg1Q07st24cpyLIIOAFTOiuZXfxDzS2wVjaiVUqREwSyCnJvOBq2OK16cdR/TFB4Saizxii4hL05mlKb9/dVLa3ciWwlcbhgJBKDcPsFH3lKVoOqbHa+KcKLIkJyoKWrwhIHbppRCfpolxzZJrI+3gpihNVOJfv/C/zBTMjfrEvIUH5sUflf5Kg87TMyxzc3zqo9kHVIIXcj/NL/15xrKPswU2PqfR8pIveOQoAWz/lIzTG0a6Ga+zbnNcOlfSWWKXR042dXbgcyLhfl+29HI6vDTmXGKnOhsWSiEpEDCIOmfhdj6wkz7G2IsgLqKi5mziIhdYT3GVxfjYNLKct7d2tvrBAJesxOxuqXrAeqGN8qzu3ZIOGrmrUzGpczhlUbUJflBWjbJv3j5mUB9VbAvoNOw7/WkFGdxAbA7CZIcfNxr2ZzY549EaI7TM89PLvqnpqBKFM/lo3bb1DerDkM2C9j+5Z4QojeKnuMRJQgRSOw8VG/YpHO2+GXdi+enZgR22+8Ph6l7ZzxFjXv/hQCCrV7RJPtFTN4erpLk=3D
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Thread-index: AQHYo3Q6xyJAJdfWIEePlnOSZhaf2a2Z4qaA
  • Thread-topic: [PATCH v1 3/7] tools/ocaml/*/dune: dune based build system



On 29 Jul 2022, at 18:53, Edwin Török <edvin.torok@xxxxxxxxxx> wrote:

Based on Christian Lindig's work.

Initially this will be used to build unit tests, and to make development
easier.

Dune supports proper incremental builds and editor integration with
merlin/LSP.

For now the Makefile based build system is retained too: this is not a
hard dependency on Dune.

Using version 2.1 of Dune build language here, because that is the one
available in Ubuntu Focal (part of the CI here).

No functional change.

Signed-off-by: Edwin Török <edvin.torok@xxxxxxxxxx>
---
tools/.gitignore               |  7 +++++
tools/dune                     |  5 ++++
tools/dune-project             |  1 +
tools/ocaml/dune-project       | 27 ++++++++++++++++++
tools/ocaml/libs/eventchn/dune | 11 ++++++++
tools/ocaml/libs/mmap/dune     |  9 ++++++
tools/ocaml/libs/xb/dune       | 10 +++++++
tools/ocaml/libs/xc/dune       | 16 +++++++++++
tools/ocaml/libs/xs/dune       | 15 ++++++++++
tools/ocaml/xenstored/dune     | 51 ++++++++++++++++++++++++++++++++++
10 files changed, 152 insertions(+)
create mode 100644 tools/.gitignore
create mode 100644 tools/dune
create mode 100644 tools/dune-project
create mode 100644 tools/ocaml/dune-project
create mode 100644 tools/ocaml/libs/eventchn/dune
create mode 100644 tools/ocaml/libs/mmap/dune
create mode 100644 tools/ocaml/libs/xb/dune
create mode 100644 tools/ocaml/libs/xc/dune
create mode 100644 tools/ocaml/libs/xs/dune
create mode 100644 tools/ocaml/xenstored/dune

Acked-by: Christian Lindig <christian.lindig@xxxxxxxxxx>



 


Rackspace

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