From 2d8310261ac4d19bd441de271505a0f0004028b8 Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Thu, 18 Apr 2024 14:26:59 +0200
Subject: chore: explain a Nix-powered workflow

To avoid divergence between Charon and Aeneas, we should re-export
Charon via our Flake and tell users to use this as a source of truth.

Here's an appendix on how I do refresh of my files, which can serve as
inspiration for a quick start workflow.

Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index 3e8b88de..cb3f84ea 100644
--- a/flake.nix
+++ b/flake.nix
@@ -217,6 +217,7 @@
       {
         packages = {
           inherit aeneas;
+          inherit (charon.packages.${system}) charon-ml charon;
           default = aeneas;
         };
         devShells.default = pkgs.mkShell {
-- 
cgit v1.2.3